Skip to content

Actions: Verified-zkEVM/clean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #39 from Verified-zkEVM/boolean-formalization CI #83: Commit 6613d89 pushed by mitschabaude
January 10, 2025 10:11 1m 38s main
main
January 10, 2025 10:11 1m 38s
End to end subcircuit soundness CI #82: Pull request #40 synchronize by mitschabaude
January 10, 2025 10:11 1m 38s subcircuit-soundness
subcircuit-soundness
January 10, 2025 10:11 1m 38s
Add support for defining constraints over traces CI #81: Pull request #41 opened by gio54321
January 9, 2025 22:49 1m 59s feat/trace-definition
feat/trace-definition
January 9, 2025 22:49 1m 59s
End to end subcircuit soundness CI #80: Pull request #40 synchronize by mitschabaude
January 9, 2025 21:36 1m 33s subcircuit-soundness
subcircuit-soundness
January 9, 2025 21:36 1m 33s
End to end subcircuit soundness CI #79: Pull request #40 opened by mitschabaude
January 9, 2025 18:15 1m 45s subcircuit-soundness
subcircuit-soundness
January 9, 2025 18:15 1m 45s
Formalize assertion-like subcircuits CI #78: Pull request #39 opened by mitschabaude
January 9, 2025 14:24 1m 41s boolean-formalization
boolean-formalization
January 9, 2025 14:24 1m 41s
Merge pull request #38 from Verified-zkEVM/circuit-cleanup CI #77: Commit a989179 pushed by mitschabaude
January 9, 2025 14:24 1m 42s main
main
January 9, 2025 14:24 1m 42s
Circuit cleanup CI #76: Pull request #38 synchronize by mitschabaude
January 9, 2025 10:49 1m 37s circuit-cleanup
circuit-cleanup
January 9, 2025 10:49 1m 37s
Circuit cleanup CI #75: Pull request #38 opened by mitschabaude
January 9, 2025 10:48 2m 12s circuit-cleanup
circuit-cleanup
January 9, 2025 10:48 2m 12s
Merge pull request #34 from Verified-zkEVM/feat/provable-structure CI #74: Commit cebdbcb pushed by gio54321
January 6, 2025 08:36 2m 50s main
main
January 6, 2025 08:36 2m 50s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #73: Pull request #34 synchronize by gio54321
January 6, 2025 08:28 2m 26s feat/provable-structure
feat/provable-structure
January 6, 2025 08:28 2m 26s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #72: Pull request #34 synchronize by gio54321
December 20, 2024 16:21 2m 7s feat/provable-structure
feat/provable-structure
December 20, 2024 16:21 2m 7s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #71: Pull request #34 synchronize by gio54321
December 20, 2024 15:36 1m 26s feat/provable-structure
feat/provable-structure
December 20, 2024 15:36 1m 26s
Add 32-bit addition CI #70: Pull request #24 synchronize by marcobesier
December 20, 2024 14:57 1m 47s feat/addition32
feat/addition32
December 20, 2024 14:57 1m 47s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #69: Pull request #34 synchronize by gio54321
December 20, 2024 14:16 2m 0s feat/provable-structure
feat/provable-structure
December 20, 2024 14:16 2m 0s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #68: Pull request #34 synchronize by gio54321
December 19, 2024 17:20 2m 7s feat/provable-structure
feat/provable-structure
December 19, 2024 17:20 2m 7s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #67: Pull request #34 synchronize by gio54321
December 19, 2024 11:02 1m 35s feat/provable-structure
feat/provable-structure
December 19, 2024 11:02 1m 35s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #66: Pull request #34 synchronize by gio54321
December 19, 2024 10:49 52s feat/provable-structure
feat/provable-structure
December 19, 2024 10:49 52s
Merge pull request #33 from Verified-zkEVM/circuit-refactoring CI #65: Commit e658fc3 pushed by gio54321
December 19, 2024 08:40 2m 1s main
main
December 19, 2024 08:40 2m 1s
[Gadgets] Add 8-bit addition gadgets and migrate proofs CI #64: Pull request #34 synchronize by gio54321
December 18, 2024 17:15 2m 2s feat/provable-structure
feat/provable-structure
December 18, 2024 17:15 2m 2s
license CI #63: Commit c382f66 pushed by mitschabaude
December 18, 2024 16:20 1m 28s main
main
December 18, 2024 16:20 1m 28s
Update README.md CI #62: Commit 1dbcd43 pushed by mitschabaude
December 18, 2024 15:49 1m 51s main
main
December 18, 2024 15:49 1m 51s
Merge pull request #35 from Verified-zkEVM/Update-README CI #61: Commit df1baeb pushed by mitschabaude
December 18, 2024 15:47 1m 26s main
main
December 18, 2024 15:47 1m 26s
Update README CI #60: Pull request #35 opened by mitschabaude
December 18, 2024 15:46 2m 17s Update-README
Update-README
December 18, 2024 15:46 2m 17s
[Circuit monad] Begin integration of the new circuit definition CI #59: Pull request #33 synchronize by gio54321
December 18, 2024 12:22 1m 36s circuit-refactoring
circuit-refactoring
December 18, 2024 12:22 1m 36s