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

chore: update numbers for hackers delight core library #4477: Pull request #850 opened by tobiasgrosser
November 14, 2024 20:29 2m 8s update_numbers
update_numbers
November 14, 2024 20:29 2m 8s
feat: automata decision procedure core library #4476: Pull request #790 synchronize by ineol
November 14, 2024 20:22 4m 53s auto_wf
auto_wf
November 14, 2024 20:22 4m 53s
chore: Hackers delight drop unpolished chapter (#846) core library #4475: Commit 1c4dc9e pushed by github-merge-queue bot
November 14, 2024 20:00 2m 17s main
main
November 14, 2024 20:00 2m 17s
core library core library #4474: Merge group checks requested
November 14, 2024 19:57 1m 58s
November 14, 2024 19:57 1m 58s
chore: add TACNAME to get the name of the theorem core library #4473: Pull request #849 opened by bollu
November 14, 2024 19:53 6m 10s tacname
tacname
November 14, 2024 19:53 6m 10s
chore: Hackers delight drop unpolished chapter core library #4472: Pull request #846 synchronize by luisacicolini
November 14, 2024 19:52 2m 12s hackers_delight_drop
hackers_delight_drop
November 14, 2024 19:52 2m 12s
chore: Hackers delight drop unpolished chapter core library #4471: Pull request #846 synchronize by luisacicolini
November 14, 2024 19:43 2m 1s hackers_delight_drop
hackers_delight_drop
November 14, 2024 19:43 2m 1s
chore: Hackers delight drop unpolished chapter core library #4470: Pull request #846 synchronize by luisacicolini
November 14, 2024 19:41 39s hackers_delight_drop
hackers_delight_drop
November 14, 2024 19:41 39s
feat: add infrastructure for Alive tests (bv_bench) (#848) core library #4469: Commit 29878cc pushed by github-merge-queue bot
November 14, 2024 19:39 2m 12s main
main
November 14, 2024 19:39 2m 12s
core library core library #4468: Merge group checks requested
November 14, 2024 19:36 2m 12s
November 14, 2024 19:36 2m 12s
feat: add infrastructure for Alive tests (bv_bench) core library #4467: Pull request #848 opened by luisacicolini
November 14, 2024 19:02 2m 11s alive-tests
alive-tests
November 14, 2024 19:02 2m 11s
feat: add bv_bench instcombine results, add done in tactic (#847) core library #4466: Commit 4548795 pushed by github-merge-queue bot
November 14, 2024 18:32 2m 12s main
main
November 14, 2024 18:32 2m 12s
core library core library #4465: Merge group checks requested
November 14, 2024 18:30 2m 7s
November 14, 2024 18:30 2m 7s
feat: add bv_bench instcombine results, add done in tactic core library #4464: Pull request #847 synchronize by luisacicolini
November 14, 2024 18:15 2m 15s bv-bench-iinstcombine
bv-bench-iinstcombine
November 14, 2024 18:15 2m 15s
feat: add bv_bench instcombine results, add done in tactic core library #4463: Pull request #847 synchronize by luisacicolini
November 14, 2024 18:14 2m 25s bv-bench-iinstcombine
bv-bench-iinstcombine
November 14, 2024 18:14 2m 25s
feat: add bv_bench instcombine results, add done in tactic core library #4462: Pull request #847 synchronize by luisacicolini
November 14, 2024 18:13 2m 31s bv-bench-iinstcombine
bv-bench-iinstcombine
November 14, 2024 18:13 2m 31s
feat: add bv_bench instcombine results, add done in tactic core library #4461: Pull request #847 opened by luisacicolini
November 14, 2024 18:12 2m 16s bv-bench-iinstcombine
bv-bench-iinstcombine
November 14, 2024 18:12 2m 16s
chore: Hackers delight drop unpolished chapter core library #4460: Pull request #846 opened by tobiasgrosser
November 14, 2024 18:00 43s hackers_delight_drop
hackers_delight_drop
November 14, 2024 18:00 43s
feat: automata decision procedure core library #4459: Pull request #790 synchronize by ineol
November 14, 2024 15:57 4m 51s auto_wf
auto_wf
November 14, 2024 15:57 4m 51s
feat: automata decision procedure core library #4458: Pull request #790 synchronize by ineol
November 14, 2024 15:11 5m 19s auto_wf
auto_wf
November 14, 2024 15:11 5m 19s
chore: update to nightly-2024-11-14 (#845) core library #4457: Commit 1d02c8f pushed by github-merge-queue bot
November 14, 2024 13:49 10m 8s main
main
November 14, 2024 13:49 10m 8s
core library core library #4456: Merge group checks requested
November 14, 2024 13:38 10m 43s
November 14, 2024 13:38 10m 43s
chore: update to nightly-2024-11-14 core library #4455: Pull request #845 opened by tobiasgrosser
November 14, 2024 13:24 10m 11s nightly-2024-11-14
nightly-2024-11-14
November 14, 2024 13:24 10m 11s
feat: automata decision procedure core library #4454: Pull request #790 synchronize by ineol
November 14, 2024 10:27 8m 49s auto_wf
auto_wf
November 14, 2024 10:27 8m 49s
chore: polish bv_bench (#844) core library #4453: Commit 4861261 pushed by github-merge-queue bot
November 14, 2024 07:52 6m 13s main
main
November 14, 2024 07:52 6m 13s