Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,851 workflow runs
7,851 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bv default args plus timeout tools, scaling, and auto-generated statements #2927: Pull request #896 opened by tobiasgrosser
December 15, 2024 16:08 8m 7s bv_default_args_plus_timeout
bv_default_args_plus_timeout
December 15, 2024 16:08 8m 7s
Bv default args plus timeout Performance #47: Pull request #896 opened by tobiasgrosser
December 15, 2024 16:08 34m 49s bv_default_args_plus_timeout
bv_default_args_plus_timeout
December 15, 2024 16:08 34m 49s
feat: add performance tracking to CI (#888) Performance #46: Commit 60f0fe8 pushed by github-merge-queue bot
December 15, 2024 06:48 1h 49m 41s main
main
December 15, 2024 06:48 1h 49m 41s
feat: add performance tracking to CI (#888) core library #4723: Commit 60f0fe8 pushed by github-merge-queue bot
December 15, 2024 06:48 4m 39s main
main
December 15, 2024 06:48 4m 39s
feat: add performance tracking to CI (#888) tools, scaling, and auto-generated statements #2926: Commit 60f0fe8 pushed by github-merge-queue bot
December 15, 2024 06:48 8m 7s main
main
December 15, 2024 06:48 8m 7s
core library core library #4722: Merge group checks requested
December 15, 2024 06:42 4m 43s
December 15, 2024 06:42 4m 43s
Performance Performance #45: Merge group checks requested
December 15, 2024 06:42 57m 35s
December 15, 2024 06:42 57m 35s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2925: Merge group checks requested
December 15, 2024 06:42 7m 41s
December 15, 2024 06:42 7m 41s
feat: add performance tracking to CI tools, scaling, and auto-generated statements #2924: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:36 8m 12s add_ci
add_ci
December 15, 2024 05:36 8m 12s
feat: add performance tracking to CI Performance #44: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:36 57m 27s add_ci
add_ci
December 15, 2024 05:36 57m 27s
feat: add performance tracking to CI core library #4721: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:36 4m 39s add_ci
add_ci
December 15, 2024 05:36 4m 39s
feat: add performance tracking to CI tools, scaling, and auto-generated statements #2923: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:35 3m 10s add_ci
add_ci
December 15, 2024 05:35 3m 10s
feat: add performance tracking to CI Performance #43: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:35 30s add_ci
add_ci
December 15, 2024 05:35 30s
feat: add performance tracking to CI core library #4720: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:35 2m 57s add_ci
add_ci
December 15, 2024 05:35 2m 57s
feat: add performance tracking to CI core library #4719: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 04:09 4m 44s add_ci
add_ci
December 15, 2024 04:09 4m 44s
feat: add performance tracking to CI tools, scaling, and auto-generated statements #2922: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 04:09 8m 1s add_ci
add_ci
December 15, 2024 04:09 8m 1s
feat: add performance tracking to CI Performance #42: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 04:09 1h 26m 56s add_ci
add_ci
December 15, 2024 04:09 1h 26m 56s
Revert "chore: move back to default arguments for bv_automat_circuit"… core library #4718: Commit 7ac7a1e pushed by github-merge-queue bot
December 15, 2024 04:07 4m 40s main
main
December 15, 2024 04:07 4m 40s
Revert "chore: move back to default arguments for bv_automat_circuit"… tools, scaling, and auto-generated statements #2921: Commit 7ac7a1e pushed by github-merge-queue bot
December 15, 2024 04:07 7m 54s main
main
December 15, 2024 04:07 7m 54s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2920: Merge group checks requested
December 15, 2024 04:02 7m 47s
December 15, 2024 04:02 7m 47s
core library core library #4717: Merge group checks requested
December 15, 2024 04:02 4m 47s
December 15, 2024 04:02 4m 47s
Revert "chore: move back to default arguments for bv_automat_circuit" core library #4716: Pull request #895 opened by tobiasgrosser
December 15, 2024 03:57 4m 50s bv_default_args_two
bv_default_args_two
December 15, 2024 03:57 4m 50s
Revert "chore: move back to default arguments for bv_automat_circuit" tools, scaling, and auto-generated statements #2919: Pull request #895 opened by tobiasgrosser
December 15, 2024 03:57 7m 56s bv_default_args_two
bv_default_args_two
December 15, 2024 03:57 7m 56s
feat: add performance tracking to CI core library #4715: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 20:48 4m 38s add_ci
add_ci
December 14, 2024 20:48 4m 38s
feat: add performance tracking to CI Performance #41: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 20:48 6h 0m 40s add_ci
add_ci
December 14, 2024 20:48 6h 0m 40s