Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,532 workflow run results
1,532 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove reduce in LLVM eDSL core library #1926: Pull request #330 synchronize by alexkeizer
May 22, 2024 16:46 3m 29s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 16:46 3m 29s
Remove reduce in LLVM eDSL core library #1925: Pull request #330 synchronize by alexkeizer
May 22, 2024 16:44 3m 33s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 16:44 3m 33s
Remove reduce in LLVM eDSL core library #1924: Pull request #330 synchronize by alexkeizer
May 22, 2024 16:03 3m 41s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 16:03 3m 41s
Remove reduce in LLVM eDSL core library #1923: Pull request #330 opened by tobiasgrosser
May 22, 2024 15:22 2m 27s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 15:22 2m 27s
feat: eliminate sequences of BitVec.ofBool core library #1922: Pull request #303 synchronize by tobiasgrosser
May 22, 2024 14:28 7m 9s alive_statements_ofBool
alive_statements_ofBool
May 22, 2024 14:28 7m 9s
bitvec_283 (#327) core library #1921: Commit 069ec67 pushed by github-merge-queue bot
May 22, 2024 13:39 6m 46s main
main
May 22, 2024 13:39 6m 46s
core library core library #1920: Merge group checks requested
May 22, 2024 13:31 7m 1s
May 22, 2024 13:31 7m 1s
bitvec_283 core library #1919: Pull request #327 synchronize by tobiasgrosser
May 22, 2024 13:24 7m 8s bitvec_283
bitvec_283
May 22, 2024 13:24 7m 8s
bitvec_283 core library #1918: Pull request #327 synchronize by tobiasgrosser
May 22, 2024 13:23 7m 15s bitvec_283
bitvec_283
May 22, 2024 13:23 7m 15s
chore: terminate AliveStatements.lean with newline (#329) core library #1917: Commit e23346c pushed by github-merge-queue bot
May 22, 2024 13:22 7m 8s main
main
May 22, 2024 13:22 7m 8s
core library core library #1916: Merge group checks requested
May 22, 2024 13:14 7m 26s
May 22, 2024 13:14 7m 26s
chore: terminate AliveStatements.lean with newline core library #1915: Pull request #329 opened by tobiasgrosser
May 22, 2024 13:07 6m 58s alive_stmts_newline
alive_stmts_newline
May 22, 2024 13:07 6m 58s
feat: new README core library #1914: Pull request #328 opened by bollu
May 22, 2024 12:54 7m 24s new-README
new-README
May 22, 2024 12:54 7m 24s
bitvec_283 core library #1913: Pull request #327 synchronize by eurquhart1
May 22, 2024 11:48 6m 53s bitvec_283
bitvec_283
May 22, 2024 11:48 6m 53s
bitvec_283 core library #1912: Pull request #327 synchronize by eurquhart1
May 22, 2024 11:36 7m 15s bitvec_283
bitvec_283
May 22, 2024 11:36 7m 15s
bitvec_283 core library #1911: Pull request #327 opened by eurquhart1
May 22, 2024 11:31 7m 12s bitvec_283
bitvec_283
May 22, 2024 11:31 7m 12s
chore: update to lean 4.9.0-rc2 core library #1910: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 11:26 3m 41s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 11:26 3m 41s
chore: update to lean 4.9.0-rc2 core library #1909: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 09:42 3m 27s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 09:42 3m 27s
chore: update to lean 4.9.0-rc2 core library #1908: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 08:52 3m 35s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 08:52 3m 35s
chore: add missing def to simp set and use full types (prepare for le… core library #1907: Commit cda4c7b pushed by github-merge-queue bot
May 22, 2024 08:50 7m 3s main
main
May 22, 2024 08:50 7m 3s
core library core library #1906: Merge group checks requested
May 22, 2024 08:42 7m 25s
May 22, 2024 08:42 7m 25s
chore: update to lean 4.9.0-rc2 core library #1905: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 08:38 3m 23s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 08:38 3m 23s
chore: add missing def to simp set and use full types (prepare for lean 4.9) core library #1904: Pull request #326 opened by tobiasgrosser
May 22, 2024 08:35 7m 8s more_explicit_lean_4.9
more_explicit_lean_4.9
May 22, 2024 08:35 7m 8s
chore: update to lean 4.9.0-rc2 core library #1903: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 07:33 3m 38s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 07:33 3m 38s
chore: update to lean 4.9.0-rc2 core library #1902: Pull request #314 synchronize by tobiasgrosser
May 22, 2024 07:15 2m 42s update_lean_4.9.0_nightly
update_lean_4.9.0_nightly
May 22, 2024 07:15 2m 42s