Skip to content

Actions: opencompl/lean-mlir

Actions

tools, scaling, and auto-generated statements

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-tools.yml
2,223 workflow runs
2,223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #273: Merge group checks requested
May 27, 2024 19:46 10m 30s
May 27, 2024 19:46 10m 30s
chore: reduce use of mathlib in the ForLean.lean file tools, scaling, and auto-generated statements #272: Pull request #352 opened by tobiasgrosser
May 27, 2024 19:38 10m 40s reduce_mathlib_linarith
reduce_mathlib_linarith
May 27, 2024 19:38 10m 40s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #271: Pull request #346 synchronize by tobiasgrosser
May 27, 2024 18:19 11m 21s all_of_alive_autogenerated
all_of_alive_autogenerated
May 27, 2024 18:19 11m 21s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #270: Pull request #346 synchronize by tobiasgrosser
May 27, 2024 18:08 10m 42s all_of_alive_autogenerated
all_of_alive_autogenerated
May 27, 2024 18:08 10m 42s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #269: Pull request #346 synchronize by tobiasgrosser
May 27, 2024 18:06 10m 53s all_of_alive_autogenerated
all_of_alive_autogenerated
May 27, 2024 18:06 10m 53s
chore: put all simps on a new line (#351) tools, scaling, and auto-generated statements #268: Commit ec6e647 pushed by github-merge-queue bot
May 27, 2024 15:47 10m 58s main
main
May 27, 2024 15:47 10m 58s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #267: Merge group checks requested
May 27, 2024 15:39 11m 5s
May 27, 2024 15:39 11m 5s
chore: put all simps on a new line tools, scaling, and auto-generated statements #266: Pull request #351 opened by tobiasgrosser
May 27, 2024 15:30 10m 55s indentation_two
indentation_two
May 27, 2024 15:30 10m 55s
chore: fix indentation (#350) tools, scaling, and auto-generated statements #265: Commit 0f5c4f1 pushed by github-merge-queue bot
May 27, 2024 15:26 11m 16s main
main
May 27, 2024 15:26 11m 16s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #264: Merge group checks requested
May 27, 2024 15:18 11m 1s
May 27, 2024 15:18 11m 1s
chore: fix indentation tools, scaling, and auto-generated statements #263: Pull request #350 synchronize by tobiasgrosser
May 27, 2024 14:39 10m 21s fix_indentation
fix_indentation
May 27, 2024 14:39 10m 21s
chore: fix indentation tools, scaling, and auto-generated statements #262: Pull request #350 opened by tobiasgrosser
May 27, 2024 14:39 7m 59s fix_indentation
fix_indentation
May 27, 2024 14:39 7m 59s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #261: Pull request #346 synchronize by tobiasgrosser
May 27, 2024 12:54 11m 6s all_of_alive_autogenerated
all_of_alive_autogenerated
May 27, 2024 12:54 11m 6s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #260: Pull request #346 synchronize by tobiasgrosser
May 27, 2024 12:46 11m 13s all_of_alive_autogenerated
all_of_alive_autogenerated
May 27, 2024 12:46 11m 13s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #259: Pull request #314 synchronize by tobiasgrosser
May 26, 2024 22:47 10m 51s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 26, 2024 22:47 10m 51s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #258: Pull request #314 synchronize by tobiasgrosser
May 26, 2024 22:32 11m 10s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 26, 2024 22:32 11m 10s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #257: Pull request #346 synchronize by tobiasgrosser
May 26, 2024 21:17 11m 24s all_of_alive_autogenerated
all_of_alive_autogenerated
May 26, 2024 21:17 11m 24s
chore: fix formatting (#348) tools, scaling, and auto-generated statements #256: Commit 7ef19e0 pushed by github-merge-queue bot
May 26, 2024 21:10 10m 58s main
main
May 26, 2024 21:10 10m 58s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #255: Merge group checks requested
May 26, 2024 21:02 11m 8s
May 26, 2024 21:02 11m 8s
chore: fix formatting tools, scaling, and auto-generated statements #254: Pull request #348 opened by tobiasgrosser
May 26, 2024 20:55 10m 40s fix_formatting
fix_formatting
May 26, 2024 20:55 10m 40s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #253: Pull request #346 synchronize by tobiasgrosser
May 26, 2024 20:52 10m 44s all_of_alive_autogenerated
all_of_alive_autogenerated
May 26, 2024 20:52 10m 44s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #252: Pull request #346 synchronize by tobiasgrosser
May 26, 2024 20:40 11m 2s all_of_alive_autogenerated
all_of_alive_autogenerated
May 26, 2024 20:40 11m 2s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #251: Pull request #346 synchronize by tobiasgrosser
May 26, 2024 20:39 10m 51s all_of_alive_autogenerated
all_of_alive_autogenerated
May 26, 2024 20:39 10m 51s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #250: Pull request #346 synchronize by tobiasgrosser
May 26, 2024 20:22 12m 55s all_of_alive_autogenerated
all_of_alive_autogenerated
May 26, 2024 20:22 12m 55s
feat: support fixed integers and conditions in meta-simp-set tools, scaling, and auto-generated statements #249: Pull request #346 synchronize by tobiasgrosser
May 26, 2024 19:07 10m 57s all_of_alive_autogenerated
all_of_alive_autogenerated
May 26, 2024 19:07 10m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-05-26 or the other filters available.