Skip to content

Actions: zkFold/zkfold-base

Actions

CI Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main-push.yml
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #203 from zkFold/hov-newranged-uint CI Push #88: Commit a9a4507 pushed by vlasin
August 6, 2024 07:26 4m 23s main
main
August 6, 2024 07:26 4m 23s
Merge pull request #176 from zkFold/zlonast-refactoring-plonk CI Push #87: Commit 97b3ff3 pushed by vlasin
August 6, 2024 06:59 4m 45s main
main
August 6, 2024 06:59 4m 45s
Merge pull request #207 from zkFold/turtlepu-symbolic-ord CI Push #86: Commit 353ab13 pushed by echatav
August 5, 2024 19:27 4m 46s main
main
August 5, 2024 19:27 4m 46s
Merge pull request #206 from zkFold/symbolic-migrate-eq CI Push #85: Commit 8ee94a7 pushed by TurtlePU
August 5, 2024 16:41 4m 21s main
main
August 5, 2024 16:41 4m 21s
Merge pull request #205 from zkFold/turtlepu-symbolic-conditional CI Push #84: Commit e0dfdb8 pushed by echatav
August 5, 2024 15:24 4m 20s main
main
August 5, 2024 15:24 4m 20s
Merge pull request #204 from zkFold/turtlepu-refactor-maybe-ed25519 CI Push #83: Commit d32ce50 pushed by TurtlePU
August 4, 2024 22:30 4m 24s main
main
August 4, 2024 22:30 4m 24s
Merge pull request #201 from zkFold/eitan-unify-circuit-types CI Push #82: Commit 2e2b915 pushed by TurtlePU
August 2, 2024 18:48 4m 34s main
main
August 2, 2024 18:48 4m 34s
Merge pull request #200 from zkFold/vlasin-ledger-bridge CI Push #81: Commit b7b5e32 pushed by vlasin
August 2, 2024 14:39 4m 44s main
main
August 2, 2024 14:39 4m 44s
Merge pull request #199 from zkFold/turtlepu-merge-fieldelementdata-s… CI Push #80: Commit c6fcf29 pushed by vlasin
August 2, 2024 12:29 4m 50s main
main
August 2, 2024 12:29 4m 50s
Merge pull request #198 from zkFold/turtlepu-merge-arithmetizable-sym… CI Push #79: Commit 53cfb47 pushed by vlasin
August 1, 2024 21:17 4m 24s main
main
August 1, 2024 21:17 4m 24s
Add "update validation" to the Symbolic Ledger library CI Push #78: Commit 65d9345 pushed by vlasin
August 1, 2024 12:41 4m 57s main
main
August 1, 2024 12:41 4m 57s
Add Update type to the Symbolic Ledger type library CI Push #77: Commit e2cdf56 pushed by vlasin
August 1, 2024 12:16 4m 49s main
main
August 1, 2024 12:16 4m 49s
Merge pull request #196 from zkFold/turtlepu-bool-symbolic CI Push #76: Commit 7fdb682 pushed by vlasin
July 28, 2024 20:05 4m 52s main
main
July 28, 2024 20:05 4m 52s
Merge pull request #195 from zkFold/turtlepu-symbolic CI Push #75: Commit 3fbc8e2 pushed by vlasin
July 28, 2024 17:52 4m 38s main
main
July 28, 2024 17:52 4m 38s
Merge pull request #194 from zkFold/vks4git/protostar CI Push #74: Commit 4390c2a pushed by TurtlePU
July 27, 2024 12:48 4m 43s main
main
July 27, 2024 12:48 4m 43s
Merge pull request #193 from zkFold/vks4git/protostar CI Push #73: Commit 528d646 pushed by vlasin
July 26, 2024 12:31 5m 34s main
main
July 26, 2024 12:31 5m 34s
Merge pull request #192 from zkFold/turtlepu-happlicative CI Push #72: Commit 7891d73 pushed by vlasin
July 26, 2024 11:16 4m 34s main
main
July 26, 2024 11:16 4m 34s
Merge pull request #188 from zkFold/hov-regsize CI Push #71: Commit 4b55201 pushed by vlasin
July 25, 2024 20:32 4m 22s main
main
July 25, 2024 20:32 4m 22s
Merge pull request #189 from zkFold/turtlepu-structured-outputs CI Push #70: Commit 0f5fd5e pushed by TurtlePU
July 24, 2024 16:33 5m 33s main
main
July 24, 2024 16:33 5m 33s
Merge pull request #184 from zkFold/turtlepu-refactor-bool CI Push #69: Commit 58423de pushed by vlasin
July 23, 2024 09:06 4m 49s main
main
July 23, 2024 09:06 4m 49s
Merge pull request #186 from zkFold/turtlepu-remove-inputs CI Push #68: Commit fff5092 pushed by vlasin
July 23, 2024 08:56 4m 45s main
main
July 23, 2024 08:56 4m 45s
Merge pull request #185 from zkFold/vlasin-cardano-types-update-2 CI Push #67: Commit 4653c86 pushed by TurtlePU
July 18, 2024 09:32 4m 51s main
main
July 18, 2024 09:32 4m 51s
Merge pull request #183 from zkFold/turtlepu-hide-field CI Push #66: Commit dc1fdd5 pushed by vlasin
July 16, 2024 15:45 4m 48s main
main
July 16, 2024 15:45 4m 48s
Merge pull request #182 from zkFold/turtlepu-update-hie CI Push #65: Commit 19f7940 pushed by vlasin
July 16, 2024 15:05 4m 38s main
main
July 16, 2024 15:05 4m 38s
Merge pull request #181 from zkFold/turtlepu-reduce-overlaps CI Push #64: Commit 654033e pushed by vlasin
July 16, 2024 14:13 4m 59s main
main
July 16, 2024 14:13 4m 59s