Skip to content

Actions: agglayer/provers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: migrate to sp1 v6 (#339) Quality #1332: Commit 5b0f4fa pushed by github-merge-queue Bot
10m 32s main
main
10m 32s
feat: migrate to sp1 v6 (#339) Release #212: Commit 5b0f4fa pushed by github-merge-queue Bot
43m 11s main
main
43m 11s
feat: migrate to sp1 v6 (#339) Build and host documentation on GH pages #1239: Commit 5b0f4fa pushed by github-merge-queue Bot
10m 20s main
main
10m 20s
feat: migrate to sp1 v6 (#339) Test - units #1337: Commit 5b0f4fa pushed by github-merge-queue Bot
17m 46s main
main
17m 46s
feat: migrate to sp1 v6 (#339) Coverage #1394: Commit 5b0f4fa pushed by github-merge-queue Bot
13m 4s main
main
13m 4s
Push on main CodeQL #755: by github-advanced-security AI
1m 49s main
main
1m 49s
Test - units Test - units #1336: Merge group checks requested
15m 59s
15m 59s
Quality Quality #1331: Merge group checks requested
10m 0s
10m 0s
Coverage Coverage #1393: Merge group checks requested
12m 58s
12m 58s
Checking PR semantic Checking PR semantic #1453: Merge group checks requested
26s
26s
Scheduled CodeQL #754: by github-advanced-security AI
1m 12s main
main
1m 12s
Release Release #211: Manually run by hadjiszs
40m 20s upgrade-sp1v6
upgrade-sp1v6
40m 20s
feat: migrate to sp1 v6 Quality #1330: Pull request #339 synchronize by hadjiszs
10m 0s upgrade-sp1v6
upgrade-sp1v6
10m 0s
feat: migrate to sp1 v6 Coverage #1392: Pull request #339 synchronize by hadjiszs
13m 18s upgrade-sp1v6
upgrade-sp1v6
13m 18s
feat: migrate to sp1 v6 Build and host documentation on GH pages #1238: Pull request #339 synchronize by hadjiszs
9m 55s upgrade-sp1v6
upgrade-sp1v6
9m 55s
feat: migrate to sp1 v6 Test - units #1335: Pull request #339 synchronize by hadjiszs
16m 55s upgrade-sp1v6
upgrade-sp1v6
16m 55s
feat: migrate to sp1 v6 Pull Request Labeler #1139: Pull request #339 synchronize by hadjiszs
12s
12s
feat: migrate to sp1 v6 Checking PR semantic #1452: Pull request #339 synchronize by hadjiszs
21s
21s
PR #339 CodeQL #753: by hadjiszs
58s refs/pull/339/head
refs/pull/339/head
58s
feat: migrate to sp1 v6 Coverage #1391: Pull request #339 synchronize by hadjiszs
5m 18s upgrade-sp1v6
upgrade-sp1v6
5m 18s
feat: migrate to sp1 v6 Build and host documentation on GH pages #1237: Pull request #339 synchronize by hadjiszs
9m 38s upgrade-sp1v6
upgrade-sp1v6
9m 38s
feat: migrate to sp1 v6 Quality #1329: Pull request #339 synchronize by hadjiszs
8m 37s upgrade-sp1v6
upgrade-sp1v6
8m 37s
feat: migrate to sp1 v6 Test - units #1334: Pull request #339 synchronize by hadjiszs
9m 5s upgrade-sp1v6
upgrade-sp1v6
9m 5s
feat: migrate to sp1 v6 Pull Request Labeler #1138: Pull request #339 synchronize by hadjiszs
9s
9s
feat: migrate to sp1 v6 Checking PR semantic #1451: Pull request #339 synchronize by hadjiszs
23s
23s