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
docs: add proof build instructions to README (#252) Release #144: Commit b5eafde pushed by iljakuklic
2m 17s main
main
2m 17s
docs: add proof build instructions to README (#252) Test - units #978: Commit b5eafde pushed by iljakuklic
17m 16s main
main
17m 16s
docs: add proof build instructions to README (#252) Build and host documentation on GH pages #934: Commit b5eafde pushed by iljakuklic
10m 46s main
main
10m 46s
docs: add proof build instructions to README (#252) Quality #972: Commit b5eafde pushed by iljakuklic
11m 10s main
main
11m 10s
docs: add proof build instructions to README (#252) Coverage #1024: Commit b5eafde pushed by iljakuklic
12m 5s main
main
12m 5s
Push on main CodeQL #453: by iljakuklic
1m 7s main
main
1m 7s
docs: add proof build instructions to README Coverage #1023: Pull request #252 synchronize by iljakuklic
11m 27s docs/readme-proof-build
docs/readme-proof-build
11m 27s
docs: add proof build instructions to README Build and host documentation on GH pages #933: Pull request #252 synchronize by iljakuklic
10m 24s docs/readme-proof-build
docs/readme-proof-build
10m 24s
docs: add proof build instructions to README Test - units #977: Pull request #252 synchronize by iljakuklic
16m 54s docs/readme-proof-build
docs/readme-proof-build
16m 54s
docs: add proof build instructions to README Quality #971: Pull request #252 synchronize by iljakuklic
10m 44s docs/readme-proof-build
docs/readme-proof-build
10m 44s
docs: add proof build instructions to README Checking PR semantic #1110: Pull request #252 synchronize by iljakuklic
24s
24s
docs: add proof build instructions to README Pull Request Labeler #876: Pull request #252 synchronize by iljakuklic
11s
11s
PR #252 CodeQL #452: by iljakuklic
1m 8s refs/pull/252/head
refs/pull/252/head
1m 8s
fix: exit with error Pull Request Labeler #875: Pull request #265 opened by atanmarko
12s
12s
fix: exit with error Build and host documentation on GH pages #932: Pull request #265 opened by atanmarko
10m 32s fix/fix-error-return
fix/fix-error-return
10m 32s
fix: exit with error Test - units #976: Pull request #265 opened by atanmarko
17m 10s fix/fix-error-return
fix/fix-error-return
17m 10s
fix: exit with error Coverage #1022: Pull request #265 opened by atanmarko
11m 17s fix/fix-error-return
fix/fix-error-return
11m 17s
fix: exit with error Quality #970: Pull request #265 opened by atanmarko
11m 34s fix/fix-error-return
fix/fix-error-return
11m 34s
fix: exit with error Checking PR semantic #1109: Pull request #265 opened by atanmarko
24s
24s
PR #265 CodeQL #451: by atanmarko
1m 16s refs/pull/265/head
refs/pull/265/head
1m 16s
fix: exit with error Checking PR semantic #1108: Pull request #264 edited by atanmarko
24s
24s
fix: exit with error Quality #969: Pull request #264 opened by atanmarko
10m 56s fix/prover-еxit-with-error
fix/prover-еxit-with-error
10m 56s
fix: exit with error Test - units #975: Pull request #264 opened by atanmarko
17m 8s fix/prover-еxit-with-error
fix/prover-еxit-with-error
17m 8s
fix: exit with error Build and host documentation on GH pages #931: Pull request #264 opened by atanmarko
10m 44s fix/prover-еxit-with-error
fix/prover-еxit-with-error
10m 44s
fix: exit with error Coverage #1021: Pull request #264 opened by atanmarko
11m 52s fix/prover-еxit-with-error
fix/prover-еxit-with-error
11m 52s
ProTip! You can narrow down the results and go further in time using created:<2025-08-04 or the other filters available.