Skip to content

Actions: openvm-org/openvm

Actions

Build and Serve Crate Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
408 workflow runs
408 workflow runs

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
chore: bump certified verifier to lean4:v4.34.0 and latest (#3159) Build and Serve Crate Docs #941: Commit f08bf28 pushed by stephenh-axiom-xyz
2m 23s v2.1.0-rc.1
v2.1.0-rc.1
2m 23s
chore: bump certified verifier to lean4:v4.34.0 and latest (#3159) Build and Serve Crate Docs #940: Commit f08bf28 pushed by stephenh-axiom-xyz
4m 22s main
main
4m 22s
chore: bump certified verifier to lean4:v4.34.0 and latest Build and Serve Crate Docs #939: Pull request #3159 synchronize by stephenh-axiom-xyz
2m 21s chore/bump-certified-verifier
chore/bump-certified-verifier
2m 21s
chore: bump certified verifier to lean4:v4.34.0 and latest Build and Serve Crate Docs #938: Pull request #3159 synchronize by stephenh-axiom-xyz
3m 7s chore/bump-certified-verifier
chore/bump-certified-verifier
3m 7s
chore: bump certified verifier to lean4:v4.34.0 and latest Build and Serve Crate Docs #937: Pull request #3159 opened by stephenh-axiom-xyz
2m 20s chore/bump-certified-verifier
chore/bump-certified-verifier
2m 20s
feat: ensure ProgramAir's cached trace stacking is unique (#3158) Build and Serve Crate Docs #936: Commit 12ff80c pushed by stephenh-axiom-xyz
4m 25s main
main
4m 25s
feat: split app_exe_commit fields in STARK verify baseline (#3157) Build and Serve Crate Docs #935: Commit 922470a pushed by stephenh-axiom-xyz
4m 49s main
main
4m 49s
chore: add CUDA 13.1 release binary to CI workflow (#3156) Build and Serve Crate Docs #934: Commit 46df938 pushed by stephenh-axiom-xyz
5m 26s main
main
5m 26s
test(DON'T MERGE): develop-v2.x.0 Build and Serve Crate Docs #933: Pull request #3139 synchronize by shuklaayush
3m 44s develop-v2.x.0
develop-v2.x.0
3m 44s
ci: exclude disabled certified verifier from clippy Build and Serve Crate Docs #932: Commit 16c26a3 pushed by shuklaayush
3m 30s v2.x.0-preview.2
v2.x.0-preview.2
3m 30s
test(DON'T MERGE): develop-v2.x.0 Build and Serve Crate Docs #931: Pull request #3139 synchronize by shuklaayush
3m 7s develop-v2.x.0
develop-v2.x.0
3m 7s
test(DON'T MERGE): develop-v2.x.0 Build and Serve Crate Docs #930: Pull request #3139 synchronize by shuklaayush
3m 18s develop-v2.x.0
develop-v2.x.0
3m 18s
fix(v2.1): sparse-copy segmented execution snapshots (#3150) Build and Serve Crate Docs #929: Commit f89ac1f pushed by shuklaayush
3m 16s v2.x.0-preview.2
v2.x.0-preview.2
3m 16s
test: migrate certified verifier wire roundtrip utility (#3148) Build and Serve Crate Docs #928: Commit 113eca6 pushed by stephenh-axiom-xyz
4m 32s main
main
4m 32s
feat: scope certified verifier to standard VM config (#3144) Build and Serve Crate Docs #927: Commit b99f8d7 pushed by stephenh-axiom-xyz
2m 17s v2.1.0-rc.0
v2.1.0-rc.0
2m 17s
feat: scope certified verifier to standard VM config (#3144) Build and Serve Crate Docs #926: Commit b99f8d7 pushed by stephenh-axiom-xyz
4m 20s main
main
4m 20s
feat: scope certified verifier to standard VM config Build and Serve Crate Docs #925: Pull request #3144 synchronize by stephenh-axiom-xyz
2m 28s feat/certified-verifier-standard-scope
feat/certified-verifier-standard-scope
2m 28s
feat: certified verify complete VM STARK proofs (#3143) Build and Serve Crate Docs #924: Commit fbeabbf pushed by stephenh-axiom-xyz
4m 27s main
main
4m 27s
test: add certified-verifier proof tampering negative tests (#3142) Build and Serve Crate Docs #923: Commit 3195e0a pushed by stephenh-axiom-xyz
4m 12s main
main
4m 12s
refactor: minimize certified-verifier public API surface (#3141) Build and Serve Crate Docs #922: Commit 643850e pushed by stephenh-axiom-xyz
4m 13s main
main
4m 13s
fix(sdk): bound rv64 odd-child proof workload Build and Serve Crate Docs #921: Commit 63791d0 pushed by shuklaayush
5m 52s v2.x.0-preview.1
v2.x.0-preview.1
5m 52s
fix(sdk): bound rv64 odd-child proof workload Build and Serve Crate Docs #920: Commit 63791d0 pushed by shuklaayush
3m 27s v2.x.0-preview.1
v2.x.0-preview.1
3m 27s
fix: update extracted certified-verifier for new codec (#3140) Build and Serve Crate Docs #919: Commit 37db4af pushed by stephenh-axiom-xyz
4m 1s main
main
4m 1s
test(DON'T MERGE): develop-v2.x.0 Build and Serve Crate Docs #918: Pull request #3139 synchronize by shuklaayush
3m 19s develop-v2.x.0
develop-v2.x.0
3m 19s
test(DON'T MERGE): develop-v2.x.0 Build and Serve Crate Docs #917: Pull request #3139 synchronize by shuklaayush
3m 29s develop-v2.x.0
develop-v2.x.0
3m 29s