Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
core library core library #4452: Merge group checks requested
November 14, 2024 07:45 6m 7s
November 14, 2024 07:45 6m 7s
chore: polish bv_bench core library #4451: Pull request #844 synchronize by tobiasgrosser
November 14, 2024 07:38 6m 25s bv_bench_all_tactics
bv_bench_all_tactics
November 14, 2024 07:38 6m 25s
chore: polish bv_bench core library #4450: Pull request #844 synchronize by tobiasgrosser
November 14, 2024 07:38 6m 10s bv_bench_all_tactics
bv_bench_all_tactics
November 14, 2024 07:38 6m 10s
chore: polish bv_bench core library #4449: Pull request #844 synchronize by tobiasgrosser
November 14, 2024 07:37 6m 13s bv_bench_all_tactics
bv_bench_all_tactics
November 14, 2024 07:37 6m 13s
chore: polish bv_bench core library #4448: Pull request #844 opened by tobiasgrosser
November 14, 2024 07:37 6m 22s bv_bench_all_tactics
bv_bench_all_tactics
November 14, 2024 07:37 6m 22s
feat: add bv_bench core library #4447: Pull request #843 synchronize by tobiasgrosser
November 14, 2024 06:39 6m 43s bv_bench
bv_bench
November 14, 2024 06:39 6m 43s
feat: collect data from hacker's delight in symbolic mode, and add da… core library #4446: Commit 0133238 pushed by github-merge-queue bot
November 14, 2024 06:36 6m 0s main
main
November 14, 2024 06:36 6m 0s
core library core library #4445: Merge group checks requested
November 14, 2024 06:29 6m 3s
November 14, 2024 06:29 6m 3s
feat: add bv_bench core library #4444: Pull request #843 opened by tobiasgrosser
November 14, 2024 06:27 2m 29s bv_bench
bv_bench
November 14, 2024 06:27 2m 29s
feat: collect data from hacker's delight in symbolic mode, and add data to paper core library #4443: Pull request #842 synchronize by bollu
November 14, 2024 06:21 6m 20s collect-data-hdel-symbolic
collect-data-hdel-symbolic
November 14, 2024 06:21 6m 20s
feat: collect data from hacker's delight in symbolic mode, and add data to paper core library #4442: Pull request #842 opened by bollu
November 14, 2024 06:15 6m 2s collect-data-hdel-symbolic
collect-data-hdel-symbolic
November 14, 2024 06:15 6m 2s
feat: grab data for hacker's delight, symbolic bitwidth (#841) core library #4441: Commit 1b282af pushed by github-merge-queue bot
November 14, 2024 05:52 6m 8s main
main
November 14, 2024 05:52 6m 8s
core library core library #4440: Merge group checks requested
November 14, 2024 05:45 6m 0s
November 14, 2024 05:45 6m 0s
chore: disable enumeration test until lean bug is fixed (#840) core library #4439: Commit b342a24 pushed by github-merge-queue bot
November 14, 2024 05:39 53s main
main
November 14, 2024 05:39 53s
feat: grab data for hacker's delight, symbolic bitwidth core library #4438: Pull request #841 synchronize by bollu
November 14, 2024 05:39 6m 5s hackers-delight-symbolic-tacbench
hackers-delight-symbolic-tacbench
November 14, 2024 05:39 6m 5s
core library core library #4437: Merge group checks requested
November 14, 2024 05:38 55s
November 14, 2024 05:38 55s
feat: grab data for hacker's delight, symbolic bitwidth core library #4436: Pull request #841 opened by bollu
November 14, 2024 05:34 1m 1s hackers-delight-symbolic-tacbench
hackers-delight-symbolic-tacbench
November 14, 2024 05:34 1m 1s
chore: disable enumeration test until lean bug is fixed core library #4435: Pull request #840 synchronize by tobiasgrosser
November 14, 2024 05:08 1m 16s disable_failing_ci
disable_failing_ci
November 14, 2024 05:08 1m 16s
core library core library #4434: Merge group checks requested
November 14, 2024 04:58 10m 4s
November 14, 2024 04:58 10m 4s
chore: update to nightly-2024-11-13 (#839) core library #4433: Commit 304bc2d pushed by github-merge-queue bot
November 14, 2024 04:58 10m 29s main
main
November 14, 2024 04:58 10m 29s
chore: disable enumeration test until lean bug is fixed core library #4432: Pull request #840 opened by tobiasgrosser
November 14, 2024 04:52 5m 16s disable_failing_ci
disable_failing_ci
November 14, 2024 04:52 5m 16s