8000 Workflow runs · reilabs/proven-zk · GitHub
[go: up one dir, main page]
Skip to content
8000

Actions: reilabs/proven-zk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: clean up noisy warnings Build #182: Commit 671606e pushed by mpenciak
1m 51s 4.22
4.22
1m 51s
bump: toolchain to v4.22.0 Build #181: Commit 2af6c3a pushed by mpenciak
1m 55s 4.22
4.22
1m 55s
bump: toolchain to v4.21.0 (#30) Build #180: Commit 45b4de9 pushed by mpenciak
1m 59s main
main
1m 59s
bump: toolchain to v4.21.0 Build #179: Commit c31689a pushed by mpenciak
2m 2s mp/bump-v4.21
mp/bump-v4.21
2m 2s
ci: bump actions/checkout to v4 (#27) Build #178: Commit eaf9712 pushed by mpenciak
1m 57s main
main
1m 57s
ci: bump actions/cache to v4 (#28) Build #177: Commit 7f79515 pushed by mpenciak
1m 46s main
main
1m 46s
10000 bump: toolchain to v4.19.0 (#29) Build #176: Commit 07161ec pushed by mpenciak
1m 51s 4.19
4.19
1m 51s
bump: toolchain to v4.19.0 (#29) Build #175: Commit 07161ec pushed by mpenciak
1m 53s main
main
1m 53s
bump: toolchain to v4.19.0 Build #174: Commit eddd917 pushed by mpenciak
1m 48s mp/bump-v4.19.0
mp/bump-v4.19.0
1m 48s
Support gnark 12 (#26) Build #173: Commit 62cb9d8 pushed by mpenciak
1m 54s mp/bump-v4.19.0
mp/bump-v4.19.0
1m 54s
Support gnark 12 (#26) Build #172: Commit 62cb9d8 pushed by kustosz
2m 0s v1.5.0
v1.5.0
2m 0s
Support gnark 12 (#26) Build #171: Commit 62cb9d8 pushed by kustosz
1m 48s 1.5.0
1.5.0
1m 48s
Support gnark 12 (#26) Build #170: Commit 62cb9d8 pushed by kustosz
1m 55s main
main
1m 55s
cleanup formatting Build #169: Commit 39325d3 pushed by kustosz
1m 43s wip/mk/gnark12
wip/mk/gnark12
1m 43s
support gnark 12 Build #168: Commit e9620f0 pushed by kustosz
1m 47s wip/mk/gnark12
wip/mk/gnark12
1m 47s
changes Build #167: Commit 5c483bd pushed by kustosz
1m 38s 4.15
4.15
1m 38s
upgrade Lean version Build #166: Commit 249169e pushed by kustosz
1m 44s 4.15
4.15
1m 44s
upgrade Lean version (#25) Build #165: Commit e4bed11 pushed by kustosz
1m 39s main
main
1m 39s
upgrade Lean version Build #164: Commit 249169e pushed by kustosz
1m 39s wip/mk/lean-up
wip/mk/lean-up
1m 39s
0