Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

core library core library #4197: Merge group checks requested
November 3, 2024 17:26 1m 58s
November 3, 2024 17:26 1m 58s
chore: preprocess options to expose more bv goals core library #4196: Pull request #779 opened by tobiasgrosser
November 3, 2024 17:12 2m 20s expose_more_bv_goals
expose_more_bv_goals
November 3, 2024 17:12 2m 20s
chore: update leanwuzla to fix free variable problem (#778) core library #4195: Commit b91fb07 pushed by github-merge-queue bot
November 3, 2024 16:01 10m 9s main
main
November 3, 2024 16:01 10m 9s
core library core library #4194: Merge group checks requested
November 3, 2024 15:50 10m 29s
November 3, 2024 15:50 10m 29s
chore: update leanwuzla to fix free variable problem core library #4193: Pull request #778 opened by tobiasgrosser
November 3, 2024 15:39 10m 7s leanwuzla-fleischplanzerl
leanwuzla-fleischplanzerl
November 3, 2024 15:39 10m 7s
chore: fix perc measurement in data collection scripts (#777) core library #4192: Commit 664dc79 pushed by github-merge-queue bot
November 3, 2024 15:27 1m 10s main
main
November 3, 2024 15:27 1m 10s
core library core library #4191: Merge group checks requested
November 3, 2024 15:25 1m 15s
November 3, 2024 15:25 1m 15s
chore: fix perc measurement in data collection scripts core library #4190: Pull request #777 opened by luisacicolini
November 3, 2024 15:14 57s update-data-perc
update-data-perc
November 3, 2024 15:14 57s
chore: update nightly mathlih 2024-11-03 (#775) core library #4189: Commit bb095f6 pushed by github-merge-queue bot
November 3, 2024 14:46 10m 9s main
main
November 3, 2024 14:46 10m 9s
chore: update leanwuzla (#776) core library #4188: Commit 9cd67ed pushed by github-merge-queue bot
November 3, 2024 14:36 10m 9s main
main
November 3, 2024 14:36 10m 9s
core library core library #4187: Merge group checks requested
November 3, 2024 14:36 10m 23s
November 3, 2024 14:36 10m 23s
core library core library #4186: Merge group checks requested
November 3, 2024 14:25 10m 41s
November 3, 2024 14:25 10m 41s
chore: update leanwuzla core library #4185: Pull request #776 opened by tobiasgrosser
November 3, 2024 14:15 10m 11s update-leanwuzla-obazda
update-leanwuzla-obazda
November 3, 2024 14:15 10m 11s
chore: update nightly mathlih 2024-11-03 core library #4184: Pull request #775 opened by luisacicolini
November 3, 2024 14:13 10m 15s update-mathlib-mozzarella
update-mathlib-mozzarella
November 3, 2024 14:13 10m 15s
chore: hide fvar bug core library #4183: Pull request #773 synchronize by tobiasgrosser
November 3, 2024 12:09 2m 5s fvar_bug
fvar_bug
November 3, 2024 12:09 2m 5s
chore: hide fvar bug core library #4182: Pull request #773 opened by tobiasgrosser
November 3, 2024 11:52 1m 59s fvar_bug
fvar_bug
November 3, 2024 11:52 1m 59s
chore: force bv_compare core library #4181: Pull request #772 opened by tobiasgrosser
November 3, 2024 06:23 1m 54s force_bv_compare
force_bv_compare
November 3, 2024 06:23 1m 54s
chore: improve simp_alive_split (#771) core library #4180: Commit 42b4970 pushed by github-merge-queue bot
November 3, 2024 06:11 1m 56s main
main
November 3, 2024 06:11 1m 56s
core library core library #4179: Merge group checks requested
November 3, 2024 06:09 1m 59s
November 3, 2024 06:09 1m 59s
chore: improve simp_alive_split core library #4178: Pull request #771 synchronize by tobiasgrosser
November 3, 2024 06:06 2m 23s improve_simp_alive_split
improve_simp_alive_split
November 3, 2024 06:06 2m 23s
core library core library #4177: Merge group checks requested
November 3, 2024 06:04 1m 56s
November 3, 2024 06:04 1m 56s
chore: improve simp_alive_split core library #4176: Pull request #771 opened by tobiasgrosser
November 3, 2024 05:57 2m 14s improve_simp_alive_split
improve_simp_alive_split
November 3, 2024 05:57 2m 14s
chore: updated LVLM results 2024-11-03 (#770) core library #4175: Commit cfae903 pushed by github-merge-queue bot
November 3, 2024 05:19 2m 1s main
main
November 3, 2024 05:19 2m 1s
core library core library #4174: Merge group checks requested
November 3, 2024 05:17 1m 55s
November 3, 2024 05:17 1m 55s
chore: updated LVLM results 2024-11-03 core library #4173: Pull request #770 synchronize by tobiasgrosser
November 3, 2024 05:14 2m 4s update-results
update-results
November 3, 2024 05:14 2m 4s