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 #198: Merge group checks requested
May 24, 2024 10:33 11m 25s
May 24, 2024 10:33 11m 25s
feat: make reduction in alive EDSL configurable tools, scaling, and auto-generated statements #197: Pull request #340 opened by tobiasgrosser
May 24, 2024 10:19 10m 22s make_reduction_configurable
make_reduction_configurable
May 24, 2024 10:19 10m 22s
chore: add simpler tests that compare our macro syntax with the com t… tools, scaling, and auto-generated statements #196: Pull request #339 synchronize by tobiasgrosser
May 24, 2024 06:18 10m 20s tests_macros_com_simple
tests_macros_com_simple
May 24, 2024 06:18 10m 20s
chore: add simpler tests that compare our macro syntax with the com t… tools, scaling, and auto-generated statements #195: Pull request #339 synchronize by tobiasgrosser
May 24, 2024 06:07 10m 37s tests_macros_com_simple
tests_macros_com_simple
May 24, 2024 06:07 10m 37s
chore: add simpler tests that compare our macro syntax with the com t… tools, scaling, and auto-generated statements #194: Pull request #339 reopened by tobiasgrosser
May 24, 2024 06:07 10m 22s tests_macros_com_simple
tests_macros_com_simple
May 24, 2024 06:07 10m 22s
chore: add simpler tests that compare our macro syntax with the com t… tools, scaling, and auto-generated statements #193: Pull request #339 synchronize by tobiasgrosser
May 24, 2024 06:04 10m 20s tests_macros_com_simple
tests_macros_com_simple
May 24, 2024 06:04 10m 20s
chore: add simpler tests that compare our macro syntax with the com t… tools, scaling, and auto-generated statements #192: Pull request #339 opened by tobiasgrosser
May 24, 2024 06:01 7m 35s tests_macros_com_simple
tests_macros_com_simple
May 24, 2024 06:01 7m 35s
Remove reduce in LLVM eDSL tools, scaling, and auto-generated statements #191: Pull request #330 synchronize by tobiasgrosser
May 23, 2024 21:28 6h 0m 22s remove_reduce_llvm_edsl
remove_reduce_llvm_edsl
May 23, 2024 21:28 6h 0m 22s
Try to show a summary after the CI run (#300) tools, scaling, and auto-generated statements #190: Commit 8151bf5 pushed by github-merge-queue bot
May 23, 2024 21:23 10m 47s main
main
May 23, 2024 21:23 10m 47s
chore: use guard_msgs to avoid info noise (#337) tools, scaling, and auto-generated statements #189: Commit e2ef2b9 pushed by github-merge-queue bot
May 23, 2024 21:17 11m 5s main
main
May 23, 2024 21:17 11m 5s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #188: Merge group checks requested
May 23, 2024 21:15 10m 27s
May 23, 2024 21:15 10m 27s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #187: Merge group checks requested
May 23, 2024 21:09 10m 44s
May 23, 2024 21:09 10m 44s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #186: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 21:08 10m 44s ci_summary
ci_summary
May 23, 2024 21:08 10m 44s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #185: Merge group checks requested
May 23, 2024 20:56 10m 43s
May 23, 2024 20:56 10m 43s
chore: use guard_msgs to avoid info noise tools, scaling, and auto-generated statements #184: Pull request #337 opened by tobiasgrosser
May 23, 2024 20:53 11m 1s test_guard_messages
test_guard_messages
May 23, 2024 20:53 11m 1s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #183: Merge group checks requested
May 23, 2024 20:46 10m 22s
May 23, 2024 20:46 10m 22s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #182: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 20:38 10m 19s ci_summary
ci_summary
May 23, 2024 20:38 10m 19s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #181: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 20:26 10m 37s ci_summary
ci_summary
May 23, 2024 20:26 10m 37s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #180: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 20:17 10m 44s ci_summary
ci_summary
May 23, 2024 20:17 10m 44s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #179: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 20:14 11m 16s ci_summary
ci_summary
May 23, 2024 20:14 11m 16s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #178: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 20:00 10m 43s ci_summary
ci_summary
May 23, 2024 20:00 10m 43s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #177: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 19:59 10m 57s ci_summary
ci_summary
May 23, 2024 19:59 10m 57s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #176: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 19:58 11m 8s ci_summary
ci_summary
May 23, 2024 19:58 11m 8s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #175: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 19:55 10m 28s ci_summary
ci_summary
May 23, 2024 19:55 10m 28s
Try to show a summary after the CI run tools, scaling, and auto-generated statements #174: Pull request #300 synchronize by tobiasgrosser
May 23, 2024 19:38 10m 29s ci_summary
ci_summary
May 23, 2024 19:38 10m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-05-23 or the other filters available.