Skip to content

Actions: Verified-zkEVM/VCV-io

Actions

PR Summary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
summary.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(ci): add build timing reporting PR Summary #94: Pull request #159 synchronize by quangvdao
40s
40s
feat: add spec-first ML-KEM example and lattice groundwork PR Summary #93: Pull request #158 synchronize by quangvdao
2m 6s
2m 6s
feat(ci): add build timing reporting PR Summary #92: Pull request #159 opened by quangvdao
38s
38s
feat: add spec-first ML-KEM example and lattice groundwork PR Summary #91: Pull request #158 synchronize by quangvdao
1m 22s
1m 22s
Improve ProgramLogic tactics and support general Pr goals PR Summary #90: Pull request #157 synchronize by quangvdao
52s
52s
feat: add spec-first ML-KEM example and lattice groundwork PR Summary #89: Pull request #158 synchronize by quangvdao
1m 54s
1m 54s
feat: add spec-first ML-KEM example and lattice groundwork PR Summary #88: Pull request #158 opened by quangvdao
2m 10s
2m 10s
Improve ProgramLogic tactics and support general Pr goals PR Summary #87: Pull request #157 synchronize by quangvdao
55s
55s
Improve ProgramLogic tactics and support general Pr goals PR Summary #86: Pull request #157 opened by quangvdao
1m 10s
1m 10s
fix: harden game-hop review followups PR Summary #85: Pull request #156 synchronize by quangvdao
45s
45s
fix: harden game-hop review followups PR Summary #84: Pull request #156 opened by quangvdao
48s
48s
feat: add proof-driven game-hop widgets PR Summary #83: Pull request #154 synchronize by quangvdao
47s
47s
feat: add proof-driven game-hop widgets PR Summary #82: Pull request #154 synchronize by quangvdao
43s
43s
feat: add proof-driven game-hop widgets PR Summary #81: Pull request #154 synchronize by quangvdao
56s
56s
shorten ElGamal and fork proofs PR Summary #80: Pull request #155 synchronize by quangvdao
1m 1s
1m 1s
feat: add proof-driven game-hop widgets PR Summary #79: Pull request #154 synchronize by quangvdao
51s
51s
shorten ElGamal and fork proofs PR Summary #78: Pull request #155 synchronize by quangvdao
1m 10s
1m 10s
shorten ElGamal and fork proofs PR Summary #77: Pull request #155 synchronize by quangvdao
58s
58s
shorten ElGamal and fork proofs PR Summary #76: Pull request #155 synchronize by quangvdao
56s
56s
shorten ElGamal and fork proofs PR Summary #75: Pull request #155 synchronize by quangvdao
51s
51s
feat: add proof-driven game-hop widgets PR Summary #74: Pull request #154 synchronize by quangvdao
57s
57s
shorten ElGamal and fork proofs PR Summary #73: Pull request #155 opened by quangvdao
49s
49s
feat: add proof-driven game-hop widgets PR Summary #72: Pull request #154 synchronize by quangvdao
54s
54s
feat: add proof-driven game-hop widgets PR Summary #71: Pull request #154 synchronize by quangvdao
48s
48s
feat(ProgramLogic): overhaul VCGen tactics and proof workflow PR Summary #70: Pull request #152 synchronize by quangvdao
1m 3s
1m 3s