Skip to content

Actions: agglayer/provers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,490 workflow runs
8,490 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1199172121 Dependabot Updates #101: by dependabot bot
52s main
main
52s
Scheduled CodeQL #693: by github-advanced-security bot
1m 2s main
main
1m 2s
github_actions in /. - Update #1192812140 Dependabot Updates #100: by dependabot bot
45s main
main
45s
v1.9.1 Release #202: Release v1.9.1 created by atanmarko
1m 15s
1m 15s
Release Release #201: created by hadjiszs
7m 28s
7m 28s
refactor: rearrange misleading optimistic signature Pull Request Labeler #1087: Pull request #325 synchronize by hadjiszs
14s
14s
refactor: rearrange misleading optimistic signature Checking PR semantic #1389: Pull request #325 synchronize by hadjiszs
18s
18s
refactor: rearrange misleading optimistic signature Test - units #1276: Pull request #325 synchronize by hadjiszs
23m 5s misleading-optimistic-mode
misleading-optimistic-mode
23m 5s
refactor: rearrange misleading optimistic signature Coverage #1330: Pull request #325 synchronize by hadjiszs
14m 13s misleading-optimistic-mode
misleading-optimistic-mode
14m 13s
refactor: rearrange misleading optimistic signature Quality #1270: Pull request #325 synchronize by hadjiszs
11m 52s misleading-optimistic-mode
misleading-optimistic-mode
11m 52s
refactor: rearrange misleading optimistic signature Build and host documentation on GH pages #1183: Pull request #325 synchronize by hadjiszs
12m 6s misleading-optimistic-mode
misleading-optimistic-mode
12m 6s
PR #325 CodeQL #692: by hadjiszs
1m 7s refs/pull/325/head
refs/pull/325/head
1m 7s
chore: bump dependencies (#326) Coverage #1329: Commit 279b673 pushed by github-merge-queue bot
12m 32s main
main
12m 32s
chore: bump dependencies (#326) Release #200: Commit 279b673 pushed by github-merge-queue bot
30m 9s main
main
30m 9s
chore: bump dependencies (#326) Quality #1269: Commit 279b673 pushed by github-merge-queue bot
12m 52s main
main
12m 52s
chore: bump dependencies (#326) Test - units #1275: Commit 279b673 pushed by github-merge-queue bot
20m 2s main
main
20m 2s
chore: bump dependencies (#326) Build and host documentation on GH pages #1182: Commit 279b673 pushed by github-merge-queue bot
12m 19s main
main
12m 19s
Push on main CodeQL #691: by github-merge-queue bot
1m 1s main
main
1m 1s
Coverage Coverage #1328: Merge group checks requested
13m 24s
13m 24s
Quality Quality #1268: Merge group checks requested
12m 12s
12m 12s
Test - units Test - units #1274: Merge group checks requested
18m 40s
18m 40s
Checking PR semantic Checking PR semantic #1388: Merge group checks requested
17s
17s
fix: map SP1VerificationError::Other to ProofVerificationError::Other Coverage #1327: Pull request #327 opened by Fibonacci747
Action required Fibonacci747:fix/proof-verification-error-other-mapping
Fibonacci747:fix/proof-verification-error-other-mapping
Action required
fix: map SP1VerificationError::Other to ProofVerificationError::Other Test - units #1273: Pull request #327 opened by Fibonacci747
Action required Fibonacci747:fix/proof-verification-error-other-mapping
Fibonacci747:fix/proof-verification-error-other-mapping
Action required
fix: map SP1VerificationError::Other to ProofVerificationError::Other Quality #1267: Pull request #327 opened by Fibonacci747
Action required Fibonacci747:fix/proof-verification-error-other-mapping
Fibonacci747:fix/proof-verification-error-other-mapping
Action required