Skip to content

Actions: opencompl/lean-mlir

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

core library
core library #4749: Merge group checks requested
December 22, 2024 23:24 11m 5s
December 22, 2024 23:24 11m 5s
Performance
Performance #72: Merge group checks requested
December 22, 2024 23:24 4h 58m 48s
December 22, 2024 23:24 4h 58m 48s
chore: update to nightly-testing-2024-12-15
Performance #71: Pull request #905 opened by tobiasgrosser
December 22, 2024 23:12 4h 15m 1s nightly-testing-2024-12-15
December 22, 2024 23:12 4h 15m 1s
chore: update to nightly-testing-2024-12-15
tools, scaling, and auto-generated statements #2951: Pull request #905 opened by tobiasgrosser
December 22, 2024 23:12 30m 41s nightly-testing-2024-12-15
December 22, 2024 23:12 30m 41s
chore: update to nightly-testing-2024-12-15
core library #4748: Pull request #905 opened by tobiasgrosser
December 22, 2024 23:12 11m 29s nightly-testing-2024-12-15
December 22, 2024 23:12 11m 29s
chore: update to nightly-testing-2024-12-14 (#904)
core library #4747: Commit ae35cca pushed by github-merge-queue bot
December 22, 2024 23:11 11m 20s main
December 22, 2024 23:11 11m 20s
chore: update to nightly-testing-2024-12-14 (#904)
tools, scaling, and auto-generated statements #2950: Commit ae35cca pushed by github-merge-queue bot
December 22, 2024 23:11 33m 39s main
December 22, 2024 23:11 33m 39s
chore: update to nightly-testing-2024-12-14 (#904)
Performance #70: Commit ae35cca pushed by github-merge-queue bot
December 22, 2024 23:11 23m 57s main
December 22, 2024 23:11 23m 57s
tools, scaling, and auto-generated statements
tools, scaling, and auto-generated statements #2949: Merge group checks requested
December 22, 2024 23:00 29m 14s
December 22, 2024 23:00 29m 14s
core library
core library #4746: Merge group checks requested
December 22, 2024 23:00 11m 3s
December 22, 2024 23:00 11m 3s
Performance
Performance #69: Merge group checks requested
December 22, 2024 23:00 3h 31m 0s
December 22, 2024 23:00 3h 31m 0s
chore: update to nightly-testing-2024-12-14
Performance #68: Pull request #904 opened by tobiasgrosser
December 22, 2024 22:48 2h 46m 54s nightly-testing-2024-12-14
December 22, 2024 22:48 2h 46m 54s
chore: update to nightly-testing-2024-12-14
tools, scaling, and auto-generated statements #2948: Pull request #904 opened by tobiasgrosser
December 22, 2024 22:48 30m 44s nightly-testing-2024-12-14
December 22, 2024 22:48 30m 44s
chore: update to nightly-testing-2024-12-14
core library #4745: Pull request #904 opened by tobiasgrosser
December 22, 2024 22:48 11m 29s nightly-testing-2024-12-14
December 22, 2024 22:48 11m 29s
chore: update to nightly-testing-2024-12-13 (#903)
core library #4744: Commit b5074b6 pushed by github-merge-queue bot
December 22, 2024 22:44 10m 48s main
December 22, 2024 22:44 10m 48s
chore: update to nightly-testing-2024-12-13 (#903)
tools, scaling, and auto-generated statements #2947: Commit b5074b6 pushed by github-merge-queue bot
December 22, 2024 22:44 29m 10s main
December 22, 2024 22:44 29m 10s
chore: update to nightly-testing-2024-12-13 (#903)
Performance #67: Commit b5074b6 pushed by github-merge-queue bot
December 22, 2024 22:44 27m 35s main
December 22, 2024 22:44 27m 35s
core library
core library #4743: Merge group checks requested
December 22, 2024 22:32 11m 27s
December 22, 2024 22:32 11m 27s
tools, scaling, and auto-generated statements
tools, scaling, and auto-generated statements #2946: Merge group checks requested
December 22, 2024 22:32 30m 56s
December 22, 2024 22:32 30m 56s
Performance
Performance #66: Merge group checks requested
December 22, 2024 22:32 2h 6m 38s
December 22, 2024 22:32 2h 6m 38s
chore: update to nightly-testing-2024-12-13
core library #4742: Pull request #903 opened by tobiasgrosser
December 22, 2024 22:16 10m 53s nightly-testing-2024-12-13
December 22, 2024 22:16 10m 53s
chore: update to nightly-testing-2024-12-13
tools, scaling, and auto-generated statements #2945: Pull request #903 opened by tobiasgrosser
December 22, 2024 22:16 29m 34s nightly-testing-2024-12-13
December 22, 2024 22:16 29m 34s
chore: update to nightly-testing-2024-12-13
Performance #65: Pull request #903 opened by tobiasgrosser
December 22, 2024 22:16 1h 26m 37s nightly-testing-2024-12-13
December 22, 2024 22:16 1h 26m 37s
chore: update to nightly-testing-2024-12-12 (#902)
Performance #64: Commit 06ac0b7 pushed by github-merge-queue bot
December 22, 2024 20:51 1h 53m 30s main
December 22, 2024 20:51 1h 53m 30s
chore: update to nightly-testing-2024-12-12 (#902)
tools, scaling, and auto-generated statements #2944: Commit 06ac0b7 pushed by github-merge-queue bot
December 22, 2024 20:51 30m 41s main
December 22, 2024 20:51 30m 41s