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

chore: fix tests (#336) tools, scaling, and auto-generated statements #148: Commit 7c87463 pushed by github-merge-queue bot
May 23, 2024 14:56 10m 52s main
main
May 23, 2024 14:56 10m 52s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #147: Merge group checks requested
May 23, 2024 14:49 11m 8s
May 23, 2024 14:49 11m 8s
chore: fix tests tools, scaling, and auto-generated statements #146: Pull request #336 opened by tobiasgrosser
May 23, 2024 13:35 11m 4s fix_tests
fix_tests
May 23, 2024 13:35 11m 4s
chore: delete temporary files of update_alive_statements.py (#335) tools, scaling, and auto-generated statements #145: Commit b6e4ede pushed by github-merge-queue bot
May 23, 2024 10:44 10m 30s main
main
May 23, 2024 10:44 10m 30s
feat: eliminate sequences of BitVec.ofBool (#303) tools, scaling, and auto-generated statements #144: Commit fc64834 pushed by github-merge-queue bot
May 23, 2024 10:44 11m 16s main
main
May 23, 2024 10:44 11m 16s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #143: Merge group checks requested
May 23, 2024 10:37 10m 46s
May 23, 2024 10:37 10m 46s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #142: Merge group checks requested
May 23, 2024 10:36 10m 30s
May 23, 2024 10:36 10m 30s
chore: delete temporary files of update_alive_statements.py tools, scaling, and auto-generated statements #141: Pull request #335 opened by tobiasgrosser
May 23, 2024 09:41 10m 50s fix_test
fix_test
May 23, 2024 09:41 10m 50s
chore: build TestLLVMOps tools, scaling, and auto-generated statements #140: Pull request #333 opened by tobiasgrosser
May 23, 2024 09:23 5m 10s add_syntax_tests
add_syntax_tests
May 23, 2024 09:23 5m 10s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #139: Pull request #330 synchronize by tobiasgrosser
May 23, 2024 07:35 6h 0m 26s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 23, 2024 07:35 6h 0m 26s
chore: fix update_alives_statements.py (#332) tools, scaling, and auto-generated statements #138: Commit e74364d pushed by github-merge-queue bot
May 23, 2024 04:53 10m 25s main
main
May 23, 2024 04:53 10m 25s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #137: Merge group checks requested
May 23, 2024 04:45 10m 44s
May 23, 2024 04:45 10m 44s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #136: Pull request #330 synchronize by tobiasgrosser
May 23, 2024 04:44 6h 0m 25s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 23, 2024 04:44 6h 0m 25s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #135: Pull request #330 synchronize by tobiasgrosser
May 23, 2024 04:41 6h 0m 24s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 23, 2024 04:41 6h 0m 24s
chore: fix update_alives_statements.py tools, scaling, and auto-generated statements #134: Pull request #332 opened by tobiasgrosser
May 23, 2024 04:34 10m 47s fix_update_alive_statements
fix_update_alive_statements
May 23, 2024 04:34 10m 47s
chore: update to lean 4.8.0-rc2 (#331) tools, scaling, and auto-generated statements #133: Commit 62d21fe pushed by github-merge-queue bot
May 23, 2024 03:56 10m 27s main
main
May 23, 2024 03:56 10m 27s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #132: Merge group checks requested
May 23, 2024 03:49 10m 37s
May 23, 2024 03:49 10m 37s
chore: update to lean 4.8.0-rc2 tools, scaling, and auto-generated statements #131: Pull request #331 synchronize by tobiasgrosser
May 23, 2024 03:42 10m 39s lean_4.8.2
lean_4.8.2
May 23, 2024 03:42 10m 39s
chore: update to lean 4.8.0-rc2 tools, scaling, and auto-generated statements #130: Pull request #331 opened by tobiasgrosser
May 23, 2024 03:40 10m 28s lean_4.8.2
lean_4.8.2
May 23, 2024 03:40 10m 28s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #129: Pull request #330 synchronize by alexkeizer
May 22, 2024 16:46 5m 39s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 16:46 5m 39s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #128: Pull request #330 synchronize by alexkeizer
May 22, 2024 16:44 5m 53s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 16:44 5m 53s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #127: Pull request #330 synchronize by alexkeizer
May 22, 2024 16:03 5m 48s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 16:03 5m 48s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #126: Pull request #330 opened by tobiasgrosser
May 22, 2024 15:22 4m 23s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 22, 2024 15:22 4m 23s
feat: eliminate sequences of BitVec.ofBool tools, scaling, and auto-generated statements #125: Pull request #303 synchronize by tobiasgrosser
May 22, 2024 14:28 10m 43s alive_statements_ofBool
alive_statements_ofBool
May 22, 2024 14:28 10m 43s
bitvec_283 (#327) tools, scaling, and auto-generated statements #124: Commit 069ec67 pushed by github-merge-queue bot
May 22, 2024 13:39 11m 13s main
main
May 22, 2024 13:39 11m 13s
ProTip! You can narrow down the results and go further in time using created:<2024-05-22 or the other filters available.