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: unify bv_auto and bv_bench core library #4502: Pull request #858 opened by tobiasgrosser
November 15, 2024 04:58 4m 23s bv_auto_and_bv_bench
bv_auto_and_bv_bench
November 15, 2024 04:58 4m 23s
feat: add rfl to bv_ring, add rfl to bv_bench (#857) core library #4501: Commit b68f2a7 pushed by github-merge-queue bot
November 15, 2024 01:50 4m 53s main
main
November 15, 2024 01:50 4m 53s
core library core library #4500: Merge group checks requested
November 15, 2024 01:45 5m 4s
November 15, 2024 01:45 5m 4s
feat: add rfl to bv_ring, add rfl to bv_bench core library #4499: Pull request #857 opened by luisacicolini
November 15, 2024 01:33 4m 55s ring-ac-rfl-drama
ring-ac-rfl-drama
November 15, 2024 01:33 4m 55s
chore: normalize directories in tests, add clean results and fixed sc… core library #4498: Commit abf2f5a pushed by github-merge-queue bot
November 15, 2024 01:33 5m 15s main
main
November 15, 2024 01:33 5m 15s
core library core library #4497: Merge group checks requested
November 15, 2024 01:27 4m 50s
November 15, 2024 01:27 4m 50s
core library core library #4496: Merge group checks requested
November 15, 2024 00:46 5m 2s
November 15, 2024 00:46 5m 2s
chore: normalize directories in tests, add clean results and fixed scripts core library #4495: Pull request #856 synchronize by luisacicolini
November 15, 2024 00:33 4m 51s normalize-directories-tests
normalize-directories-tests
November 15, 2024 00:33 4m 51s
chore: normalize directories in tests, add clean results and fixed scripts core library #4494: Pull request #856 opened by luisacicolini
November 14, 2024 23:51 5m 8s normalize-directories-tests
normalize-directories-tests
November 14, 2024 23:51 5m 8s
push data llvm core library #4493: Pull request #855 opened by tobiasgrosser
November 14, 2024 21:54 5m 11s data_llvm
data_llvm
November 14, 2024 21:54 5m 11s
chore: add alive symbolic numbers (#854) core library #4492: Commit 1694b03 pushed by github-merge-queue bot
November 14, 2024 21:39 4m 46s main
main
November 14, 2024 21:39 4m 46s
core library core library #4491: Merge group checks requested
November 14, 2024 21:34 4m 55s
November 14, 2024 21:34 4m 55s
chore: add alive symbolic numbers core library #4490: Pull request #854 opened by tobiasgrosser
November 14, 2024 21:28 4m 57s alive_sym
alive_sym
November 14, 2024 21:28 4m 57s
chore: fix file directory in bv_bench collection script for alive g… core library #4489: Commit c10c192 pushed by github-merge-queue bot
November 14, 2024 21:14 4m 53s main
main
November 14, 2024 21:14 4m 53s
chore: update data for simp and bv_normalize (#852) core library #4488: Commit 78b7020 pushed by github-merge-queue bot
November 14, 2024 21:10 4m 48s main
main
November 14, 2024 21:10 4m 48s
core library core library #4487: Merge group checks requested
November 14, 2024 21:09 4m 53s
November 14, 2024 21:09 4m 53s
core library core library #4486: Merge group checks requested
November 14, 2024 21:04 4m 57s
November 14, 2024 21:04 4m 57s
chore: update data for simp and bv_normalize core library #4485: Pull request #852 opened by tobiasgrosser
November 14, 2024 20:59 4m 49s simp_normalize
simp_normalize
November 14, 2024 20:59 4m 49s
chore: fix file directory in bv_bench collection script for alive goals core library #4484: Pull request #851 opened by luisacicolini
November 14, 2024 20:56 4m 59s bv-bench-alive-goals
bv-bench-alive-goals
November 14, 2024 20:56 4m 59s
feat: automata decision procedure (#790) core library #4483: Commit 19b638b pushed by github-merge-queue bot
November 14, 2024 20:42 5m 6s main
main
November 14, 2024 20:42 5m 6s
core library core library #4482: Merge group checks requested
November 14, 2024 20:37 4m 50s
November 14, 2024 20:37 4m 50s
chore: update numbers for hackers delight (#850) core library #4481: Commit 9ad4e05 pushed by github-merge-queue bot
November 14, 2024 20:34 2m 18s main
main
November 14, 2024 20:34 2m 18s
core library core library #4480: Merge group checks requested
November 14, 2024 20:32 2m 3s
November 14, 2024 20:32 2m 3s
feat: automata decision procedure core library #4479: Pull request #790 synchronize by ineol
November 14, 2024 20:32 4m 50s auto_wf
auto_wf
November 14, 2024 20:32 4m 50s
feat: automata decision procedure core library #4478: Pull request #790 synchronize by ineol
November 14, 2024 20:31 4m 51s auto_wf
auto_wf
November 14, 2024 20:31 4m 51s