Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,893 workflow runs
3,893 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

llvm: add BitVec.mul_add to bv_normalize core library #4292: Pull request #806 opened by tobiasgrosser
November 8, 2024 03:37 3m 49s mul_add_normalize
mul_add_normalize
November 8, 2024 03:37 3m 49s
chore: fold even if there is no splitting happening (#804) core library #4291: Commit c1c67ff pushed by github-merge-queue bot
November 8, 2024 03:03 2m 26s main
main
November 8, 2024 03:03 2m 26s
core library core library #4290: Merge group checks requested
November 8, 2024 03:00 1m 59s
November 8, 2024 03:00 1m 59s
chore: fold even if there is no splitting happening core library #4289: Pull request #804 opened by tobiasgrosser
November 8, 2024 02:49 2m 6s fold_no_splitting
fold_no_splitting
November 8, 2024 02:49 2m 6s
chore: fold a bit more after splitting the theorem (#803) core library #4288: Commit 8d06e0f pushed by github-merge-queue bot
November 8, 2024 02:37 2m 6s main
main
November 8, 2024 02:37 2m 6s
core library core library #4287: Merge group checks requested
November 8, 2024 02:34 2m 6s
November 8, 2024 02:34 2m 6s
chore: fold a bit more after splitting the theorem core library #4286: Pull request #803 opened by tobiasgrosser
November 8, 2024 02:32 2m 18s fold_after_splitting
fold_after_splitting
November 8, 2024 02:32 2m 18s
chore: update numbers (#801) core library #4285: Commit bd23305 pushed by github-merge-queue bot
November 7, 2024 23:42 1m 23s main
main
November 7, 2024 23:42 1m 23s
core library core library #4284: Merge group checks requested
November 7, 2024 23:40 53s
November 7, 2024 23:40 53s
chore: update numbers core library #4283: Pull request #801 opened by tobiasgrosser
November 7, 2024 23:35 55s nightly-2024-11-07-numbers
nightly-2024-11-07-numbers
November 7, 2024 23:35 55s
chore: update to nightly-2024-11-07 (#800) core library #4282: Commit 98e991e pushed by github-merge-queue bot
November 7, 2024 23:17 10m 25s main
main
November 7, 2024 23:17 10m 25s
core library core library #4281: Merge group checks requested
November 7, 2024 23:07 10m 16s
November 7, 2024 23:07 10m 16s
Updated script (#799) core library #4280: Commit e644261 pushed by github-merge-queue bot
November 7, 2024 23:02 53s main
main
November 7, 2024 23:02 53s
core library core library #4279: Merge group checks requested
November 7, 2024 23:00 1m 11s
November 7, 2024 23:00 1m 11s
Updated script core library #4278: Pull request #799 synchronize by tobiasgrosser
November 7, 2024 22:58 1m 9s updated-script
updated-script
November 7, 2024 22:58 1m 9s
core library core library #4277: Merge group checks requested
November 7, 2024 22:57 59s
November 7, 2024 22:57 59s
chore: update to nightly-2024-11-07 core library #4276: Pull request #800 opened by tobiasgrosser
November 7, 2024 22:56 10m 16s nightly-2024-11-07
nightly-2024-11-07
November 7, 2024 22:56 10m 16s
Updated script core library #4275: Pull request #799 opened by tobiasgrosser
November 7, 2024 19:28 58s updated-script
updated-script
November 7, 2024 19:28 58s
feat: automata decision procedure core library #4274: Pull request #790 synchronize by ineol
November 7, 2024 19:20 10m 57s auto_wf
auto_wf
November 7, 2024 19:20 10m 57s
update leanwuzla (#797) core library #4273: Commit 81eb613 pushed by github-merge-queue bot
November 7, 2024 19:13 10m 19s main
main
November 7, 2024 19:13 10m 19s
core library core library #4272: Merge group checks requested
November 7, 2024 19:02 10m 31s
November 7, 2024 19:02 10m 31s
Leanwuzla results core library #4271: Pull request #798 synchronize by tobiasgrosser
November 7, 2024 19:02 1m 9s leanwuzla-results
leanwuzla-results
November 7, 2024 19:02 1m 9s
core library core library #4270: Merge group checks requested
November 7, 2024 18:55 10m 9s
November 7, 2024 18:55 10m 9s
feat: automata decision procedure core library #4269: Pull request #790 synchronize by ineol
November 7, 2024 18:47 2m 36s auto_wf
auto_wf
November 7, 2024 18:47 2m 36s
Leanwuzla results core library #4268: Pull request #798 opened by tobiasgrosser
November 7, 2024 18:40 10m 44s leanwuzla-results
leanwuzla-results
November 7, 2024 18:40 10m 44s