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

core: make AliveStatements.lean robust against multiple goals tools, scaling, and auto-generated statements #48: Pull request #301 opened by tobiasgrosser
May 13, 2024 12:15 11m 27s llvm_all_goals
llvm_all_goals
May 13, 2024 12:15 11m 27s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #47: Pull request #225 synchronize by tobiasgrosser
May 11, 2024 06:32 10m 26s broken_alive_autogenerated
broken_alive_autogenerated
May 11, 2024 06:32 10m 26s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #46: Pull request #300 synchronize by tobiasgrosser
May 11, 2024 06:09 11m 33s ci_summary
ci_summary
May 11, 2024 06:09 11m 33s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #45: Pull request #300 opened by tobiasgrosser
May 11, 2024 05:56 10m 56s ci_summary
ci_summary
May 11, 2024 05:56 10m 56s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #44: Pull request #225 synchronize by tobiasgrosser
May 11, 2024 05:42 10m 27s broken_alive_autogenerated
broken_alive_autogenerated
May 11, 2024 05:42 10m 27s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #43: Pull request #225 synchronize by tobiasgrosser
May 11, 2024 05:40 10m 22s broken_alive_autogenerated
broken_alive_autogenerated
May 11, 2024 05:40 10m 22s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #42: Pull request #225 synchronize by tobiasgrosser
May 11, 2024 05:37 10m 26s broken_alive_autogenerated
broken_alive_autogenerated
May 11, 2024 05:37 10m 26s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #41: Pull request #225 synchronize by tobiasgrosser
May 11, 2024 05:37 10m 36s broken_alive_autogenerated
broken_alive_autogenerated
May 11, 2024 05:37 10m 36s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #40: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 21:19 10m 49s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 21:19 10m 49s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #39: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 21:09 10m 4s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 21:09 10m 4s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #38: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 19:47 10m 22s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 19:47 10m 22s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #37: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 19:46 10m 37s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 19:46 10m 37s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #36: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 19:45 11m 0s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 19:45 11m 0s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #35: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 19:16 10m 22s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 19:16 10m 22s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #34: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 19:15 10m 45s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 19:15 10m 45s
fix: use dsimp to remove abstraction overhead of our parsing stage tools, scaling, and auto-generated statements #33: Pull request #225 synchronize by tobiasgrosser
May 10, 2024 19:13 10m 26s broken_alive_autogenerated
broken_alive_autogenerated
May 10, 2024 19:13 10m 26s
feat: theorems about Ctxt and MVar (#294) tools, scaling, and auto-generated statements #32: Commit fab92c2 pushed by github-merge-queue bot
May 10, 2024 19:08 11m 53s main
main
May 10, 2024 19:08 11m 53s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #31: Merge group checks requested
May 10, 2024 19:00 11m 26s
May 10, 2024 19:00 11m 26s
feat: theorems about Ctxt and MVar tools, scaling, and auto-generated statements #30: Pull request #294 synchronize by tobiasgrosser
May 10, 2024 18:52 11m 11s theorems_about_ctx_and_mvar
theorems_about_ctx_and_mvar
May 10, 2024 18:52 11m 11s
feat: bitvec_AddSub_1152 proof tools, scaling, and auto-generated statements #29: Pull request #298 synchronize by bollu
May 10, 2024 15:32 11m 18s bitvec_addSub_1152
bitvec_addSub_1152
May 10, 2024 15:32 11m 18s
feat: bitvec_AddSub_1152 proof tools, scaling, and auto-generated statements #28: Pull request #298 synchronize by bollu
May 10, 2024 15:31 13m 3s bitvec_addSub_1152
bitvec_addSub_1152
May 10, 2024 15:31 13m 3s
chore: limit alive_peephole to removal of ssa (#295) tools, scaling, and auto-generated statements #27: Commit 8d727fe pushed by github-merge-queue bot
May 10, 2024 15:24 11m 16s main
main
May 10, 2024 15:24 11m 16s
chore: cleanup lakefile (#296) tools, scaling, and auto-generated statements #26: Commit 3813f67 pushed by github-merge-queue bot
May 10, 2024 15:24 11m 14s main
main
May 10, 2024 15:24 11m 14s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #25: Merge group checks requested
May 10, 2024 15:17 11m 44s
May 10, 2024 15:17 11m 44s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #24: Merge group checks requested
May 10, 2024 15:16 11m 36s
May 10, 2024 15:16 11m 36s
ProTip! You can narrow down the results and go further in time using created:<2024-05-10 or the other filters available.