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 #123: Merge group checks requested
May 22, 2024 13:31 10m 27s
May 22, 2024 13:31 10m 27s
bitvec_283 tools, scaling, and auto-generated statements #122: Pull request #327 synchronize by tobiasgrosser
May 22, 2024 13:24 10m 45s bitvec_283
bitvec_283
May 22, 2024 13:24 10m 45s
bitvec_283 tools, scaling, and auto-generated statements #121: Pull request #327 synchronize by tobiasgrosser
May 22, 2024 13:23 10m 29s bitvec_283
bitvec_283
May 22, 2024 13:23 10m 29s
chore: terminate AliveStatements.lean with newline (#329) tools, scaling, and auto-generated statements #120: Commit e23346c pushed by github-merge-queue bot
May 22, 2024 13:22 10m 40s main
main
May 22, 2024 13:22 10m 40s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #119: Merge group checks requested
May 22, 2024 13:14 10m 39s
May 22, 2024 13:14 10m 39s
chore: terminate AliveStatements.lean with newline tools, scaling, and auto-generated statements #118: Pull request #329 opened by tobiasgrosser
May 22, 2024 13:07 10m 41s alive_stmts_newline
alive_stmts_newline
May 22, 2024 13:07 10m 41s
feat: new README tools, scaling, and auto-generated statements #117: Pull request #328 opened by bollu
May 22, 2024 12:54 10m 53s new-README
new-README
May 22, 2024 12:54 10m 53s
bitvec_283 tools, scaling, and auto-generated statements #116: Pull request #327 synchronize by eurquhart1
May 22, 2024 11:48 10m 18s bitvec_283
bitvec_283
May 22, 2024 11:48 10m 18s
bitvec_283 tools, scaling, and auto-generated statements #115: Pull request #327 synchronize by eurquhart1
May 22, 2024 11:36 10m 35s bitvec_283
bitvec_283
May 22, 2024 11:36 10m 35s
bitvec_283 tools, scaling, and auto-generated statements #114: Pull request #327 opened by eurquhart1
May 22, 2024 11:31 10m 29s bitvec_283
bitvec_283
May 22, 2024 11:31 10m 29s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #113: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 11:26 2h 43m 39s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 11:26 2h 43m 39s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #112: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 09:42 4m 51s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 09:42 4m 51s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #111: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 08:52 4m 48s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 08:52 4m 48s
chore: add missing def to simp set and use full types (prepare for le… tools, scaling, and auto-generated statements #110: Commit cda4c7b pushed by github-merge-queue bot
May 22, 2024 08:50 10m 33s main
main
May 22, 2024 08:50 10m 33s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #109: Merge group checks requested
May 22, 2024 08:42 10m 34s
May 22, 2024 08:42 10m 34s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #108: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 08:38 4m 56s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 08:38 4m 56s
chore: add missing def to simp set and use full types (prepare for lean 4.9) tools, scaling, and auto-generated statements #107: Pull request #326 opened by tobiasgrosser
May 22, 2024 08:35 10m 37s more_explicit_lean_4.9
more_explicit_lean_4.9
May 22, 2024 08:35 10m 37s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #106: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 07:33 5m 1s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 07:33 5m 1s
chore: update to lean 4.9.0-rc2 tools, scaling, and auto-generated statements #105: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 07:15 4m 45s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 07:15 4m 45s
chore: remove unused change_mlir_context (#325) tools, scaling, and auto-generated statements #104: Commit 030dd3d pushed by github-merge-queue bot
May 22, 2024 06:29 10m 18s main
main
May 22, 2024 06:29 10m 18s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #103: Merge group checks requested
May 22, 2024 06:21 10m 34s
May 22, 2024 06:21 10m 34s
chore: remove unused change_mlir_context tools, scaling, and auto-generated statements #102: Pull request #325 opened by tobiasgrosser
May 22, 2024 06:13 10m 21s remove_change_mlir_context
remove_change_mlir_context
May 22, 2024 06:13 10m 21s
chore: removed unused code (duplicated with Valuation.eval) (#324) tools, scaling, and auto-generated statements #101: Commit 3076821 pushed by github-merge-queue bot
May 22, 2024 06:12 10m 41s main
main
May 22, 2024 06:12 10m 41s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #100: Merge group checks requested
May 22, 2024 06:04 10m 30s
May 22, 2024 06:04 10m 30s
chore: removed unused code (duplicated with Valuation.eval) tools, scaling, and auto-generated statements #99: Pull request #324 opened by tobiasgrosser
May 22, 2024 05:39 10m 29s unused_code
unused_code
May 22, 2024 05:39 10m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-05-22 or the other filters available.