Skip to content

Actions: Verified-zkEVM/clean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Circuit monad] Proper soundness using env function CI #47: Pull request #31 synchronize by mitschabaude
December 17, 2024 10:29 1m 45s eval-env-soundness
eval-env-soundness
December 17, 2024 10:29 1m 45s
[Circuit monad] Proper soundness using env function CI #46: Pull request #31 synchronize by mitschabaude
December 17, 2024 10:27 1m 24s eval-env-soundness
eval-env-soundness
December 17, 2024 10:27 1m 24s
[Circuit monad] Proper soundness using env function CI #45: Pull request #31 synchronize by mitschabaude
December 17, 2024 10:06 1m 29s eval-env-soundness
eval-env-soundness
December 17, 2024 10:06 1m 29s
[Circuit monad] Proper soundness using env function CI #44: Pull request #31 synchronize by mitschabaude
December 17, 2024 07:18 1m 25s eval-env-soundness
eval-env-soundness
December 17, 2024 07:18 1m 25s
[Circuit monad] Proper soundness using env function CI #43: Pull request #31 synchronize by mitschabaude
December 16, 2024 23:33 1m 24s eval-env-soundness
eval-env-soundness
December 16, 2024 23:33 1m 24s
[Circuit monad] Proper soundness using env function CI #42: Pull request #31 synchronize by mitschabaude
December 16, 2024 23:31 1m 27s eval-env-soundness
eval-env-soundness
December 16, 2024 23:31 1m 27s
[Circuit monad] Proper soundness using env function CI #41: Pull request #31 synchronize by mitschabaude
December 16, 2024 23:21 1m 25s eval-env-soundness
eval-env-soundness
December 16, 2024 23:21 1m 25s
[Circuit monad] Proper soundness using env function CI #40: Pull request #31 synchronize by mitschabaude
December 16, 2024 23:00 1m 27s eval-env-soundness
eval-env-soundness
December 16, 2024 23:00 1m 27s
[Circuit monad] Proper soundness using env function CI #39: Pull request #31 opened by mitschabaude
December 16, 2024 20:48 1m 38s eval-env-soundness
eval-env-soundness
December 16, 2024 20:48 1m 38s
[Circuit monad] Completeness composition CI #38: Pull request #30 synchronize by mitschabaude
December 16, 2024 20:10 1m 46s feature/subcircuit-witgen
feature/subcircuit-witgen
December 16, 2024 20:10 1m 46s
[Circuit monad] Completeness composition CI #37: Pull request #30 synchronize by mitschabaude
December 16, 2024 19:53 1m 47s feature/subcircuit-witgen
feature/subcircuit-witgen
December 16, 2024 19:53 1m 47s
[Circuit monad] Completeness composition CI #36: Pull request #30 synchronize by mitschabaude
December 16, 2024 19:44 1m 27s feature/subcircuit-witgen
feature/subcircuit-witgen
December 16, 2024 19:44 1m 27s
[Circuit monad] Completeness composition CI #35: Pull request #30 synchronize by mitschabaude
December 16, 2024 19:01 1m 32s feature/subcircuit-witgen
feature/subcircuit-witgen
December 16, 2024 19:01 1m 32s
[Circuit monad] Completeness composition CI #34: Pull request #30 synchronize by mitschabaude
December 16, 2024 18:58 1m 30s feature/subcircuit-witgen
feature/subcircuit-witgen
December 16, 2024 18:58 1m 30s
[Circuit monad] Completeness composition CI #33: Pull request #30 opened by mitschabaude
December 16, 2024 18:55 1m 31s feature/subcircuit-witgen
feature/subcircuit-witgen
December 16, 2024 18:55 1m 31s
Merge pull request #28 from zksecurity/feat/specialize-auto-tactic CI #32: Commit 7d56f07 pushed by gio54321
December 16, 2024 13:30 1m 33s main
main
December 16, 2024 13:30 1m 33s
Merge pull request #27 from zksecurity/circuit-prototype CI #31: Commit 18f12d1 pushed by mitschabaude
December 16, 2024 13:20 2m 10s main
main
December 16, 2024 13:20 2m 10s
Circuit monad CI #30: Pull request #27 synchronize by mitschabaude
December 16, 2024 12:30 2m 35s circuit-prototype
circuit-prototype
December 16, 2024 12:30 2m 35s
[Circuit monad] Isolated subcircuits CI #29: Pull request #29 synchronize by mitschabaude
December 16, 2024 10:32 1m 30s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 16, 2024 10:32 1m 30s
[Circuit monad] Isolated subcircuits CI #28: Pull request #29 synchronize by mitschabaude
December 13, 2024 18:14 1m 26s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 13, 2024 18:14 1m 26s
[Circuit monad] Isolated subcircuits CI #27: Pull request #29 synchronize by mitschabaude
December 13, 2024 17:52 1m 30s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 13, 2024 17:52 1m 30s
[Circuit monad] Isolated subcircuits CI #26: Pull request #29 synchronize by mitschabaude
December 13, 2024 17:13 1m 27s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 13, 2024 17:13 1m 27s
[Circuit monad] Isolated subcircuits CI #25: Pull request #29 synchronize by mitschabaude
December 13, 2024 13:11 1m 28s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 13, 2024 13:11 1m 28s
[Circuit monad] Isolated subcircuits CI #24: Pull request #29 synchronize by mitschabaude
December 13, 2024 12:05 1m 31s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 13, 2024 12:05 1m 31s
[Circuit monad] Isolated subcircuits CI #23: Pull request #29 opened by mitschabaude
December 13, 2024 09:15 2m 19s tmp/fancy-subcircuit
tmp/fancy-subcircuit
December 13, 2024 09:15 2m 19s