Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4,153 workflow runs
4,153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add benchmarking tactic TACBENCH core library #4427: Pull request #838 synchronize by bollu
November 14, 2024 04:13 5m 33s tac-bench
tac-bench
November 14, 2024 04:13 5m 33s
feat: add benchmarking tactic TACBENCH core library #4426: Pull request #838 synchronize by bollu
November 14, 2024 04:08 1m 20s tac-bench
tac-bench
November 14, 2024 04:08 1m 20s
feat: add benchmarking tactic TACBENCH core library #4425: Pull request #838 opened by bollu
November 14, 2024 04:04 1m 37s tac-bench
tac-bench
November 14, 2024 04:04 1m 37s
feat: bv-evaluation symbolic scripts (#837) core library #4424: Commit 0f4a05b pushed by github-merge-queue bot
November 14, 2024 03:23 1m 7s main
main
November 14, 2024 03:23 1m 7s
core library core library #4423: Merge group checks requested
November 14, 2024 03:22 51s
November 14, 2024 03:22 51s
feat: bv-evaluation symbolic scripts core library #4422: Pull request #837 opened by luisacicolini
November 13, 2024 22:53 1m 10s bv-eval-sym
bv-eval-sym
November 13, 2024 22:53 1m 10s
feat: Update Hacker's Delight Data Gathering core library #4421: Pull request #836 synchronize by bollu
November 13, 2024 22:27 54s update-hdel
update-hdel
November 13, 2024 22:27 54s
feat: automata decision procedure core library #4420: Pull request #790 synchronize by ineol
November 13, 2024 20:50 4m 34s auto_wf
auto_wf
November 13, 2024 20:50 4m 34s
feat: automata decision procedure core library #4419: Pull request #790 synchronize by ineol
November 13, 2024 16:02 4m 14s auto_wf
auto_wf
November 13, 2024 16:02 4m 14s
feat: Update Hacker's Delight Data Gathering core library #4418: Pull request #836 synchronize by luisacicolini
November 13, 2024 15:12 57s update-hdel
update-hdel
November 13, 2024 15:12 57s
feat: Update Hacker's Delight Data Gathering core library #4417: Pull request #836 opened by bollu
November 13, 2024 15:04 53s update-hdel
update-hdel
November 13, 2024 15:04 53s
chore: filter range test cases correctly (#835) core library #4416: Commit 64564ef pushed by github-merge-queue bot
November 13, 2024 13:26 1m 1s main
main
November 13, 2024 13:26 1m 1s
core library core library #4415: Merge group checks requested
November 13, 2024 13:24 1m 7s
November 13, 2024 13:24 1m 7s
chore: filter range test cases correctly core library #4414: Pull request #835 opened by tobiasgrosser
November 13, 2024 13:23 58s filter_range_reliably
filter_range_reliably
November 13, 2024 13:23 58s
feat: automata decision procedure core library #4413: Pull request #790 synchronize by ineol
November 13, 2024 12:04 3m 47s auto_wf
auto_wf
November 13, 2024 12:04 3m 47s
feat: automata decision procedure core library #4412: Pull request #790 synchronize by ineol
November 13, 2024 11:29 2m 28s auto_wf
auto_wf
November 13, 2024 11:29 2m 28s
feat: automata decision procedure core library #4411: Pull request #790 synchronize by ineol
November 13, 2024 11:05 2m 30s auto_wf
auto_wf
November 13, 2024 11:05 2m 30s
feat: automata decision procedure core library #4410: Pull request #790 synchronize by ineol
November 13, 2024 10:27 3m 52s auto_wf
auto_wf
November 13, 2024 10:27 3m 52s
chore: fixing the function filter for the test gen script (#834) core library #4409: Commit 3ee133e pushed by github-merge-queue bot
November 13, 2024 10:18 54s main
main
November 13, 2024 10:18 54s
core library core library #4408: Merge group checks requested
November 13, 2024 10:17 59s
November 13, 2024 10:17 59s
chore: fixing the function filter for the test gen script core library #4407: Pull request #834 opened by lfrenot
November 13, 2024 09:56 1m 9s fixing-the-function-filter-for-the-test-gen-script
fixing-the-function-filter-for-the-test-gen-script
November 13, 2024 09:56 1m 9s
chore: update mathlib 2024-11-12 (#833) core library #4406: Commit 9de7147 pushed by github-merge-queue bot
November 13, 2024 01:09 10m 28s main
main
November 13, 2024 01:09 10m 28s
core library core library #4405: Merge group checks requested
November 13, 2024 00:59 10m 17s
November 13, 2024 00:59 10m 17s
chore: update mathlib 2024-11-12 core library #4404: Pull request #833 synchronize by tobiasgrosser
November 13, 2024 00:57 1m 11s update-mathlib-bismillah
update-mathlib-bismillah
November 13, 2024 00:57 1m 11s
chore: update mathlib 2024-11-12 core library #4403: Pull request #833 synchronize by luisacicolini
November 13, 2024 00:38 10m 28s update-mathlib-bismillah
update-mathlib-bismillah
November 13, 2024 00:38 10m 28s