Skip to content

Actions: zksecurity/mina-credentials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
400 workflow runs
400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve spec output inference for no data Run tests #50: Commit 7487624 pushed by mitschabaude
September 26, 2024 07:44 27s feature/program-impl
feature/program-impl
September 26, 2024 07:44 27s
Implement ZkProgram Run tests #49: Pull request #13 synchronize by mitschabaude
September 26, 2024 06:21 43s feature/program-impl
feature/program-impl
September 26, 2024 06:21 43s
make all inputs to spec circuit derived from a root node Run tests #48: Commit d6e6d11 pushed by mitschabaude
September 26, 2024 06:21 34s feature/program-impl
feature/program-impl
September 26, 2024 06:21 34s
spec: work on security definitions Run tests #47: Commit 7a0b62c pushed by rot256
September 25, 2024 17:16 27s spec-security-def
spec-security-def
September 25, 2024 17:16 27s
Implement ZkProgram Run tests #46: Pull request #13 synchronize by mitschabaude
September 25, 2024 14:52 26s feature/program-impl
feature/program-impl
September 25, 2024 14:52 26s
fixup Run tests #45: Commit b7fe718 pushed by mitschabaude
September 25, 2024 14:52 25s feature/program-impl
feature/program-impl
September 25, 2024 14:52 25s
Implement ZkProgram Run tests #44: Pull request #13 synchronize by mitschabaude
September 25, 2024 14:50 19s feature/program-impl
feature/program-impl
September 25, 2024 14:50 19s
Merge branch 'main' into feature/program-impl Run tests #43: Commit 15b8557 pushed by mitschabaude
September 25, 2024 14:50 17s feature/program-impl
feature/program-impl
September 25, 2024 14:50 17s
Merge pull request #14 from zksecurity/8-extension Run tests #42: Commit f687ef7 pushed by martonmoro
September 25, 2024 14:29 20s main
main
September 25, 2024 14:29 20s
8 extension Run tests #41: Pull request #14 synchronize by martonmoro
September 25, 2024 14:28 20s 8-extension
8-extension
September 25, 2024 14:28 20s
chore: add global directive Run tests #40: Commit ad94b32 pushed by martonmoro
September 25, 2024 14:28 22s 8-extension
8-extension
September 25, 2024 14:28 22s
8 extension Run tests #39: Pull request #14 synchronize by martonmoro
September 25, 2024 14:21 21s 8-extension
8-extension
September 25, 2024 14:21 21s
chore: add @types/chrome Run tests #38: Commit 1382cd7 pushed by martonmoro
September 25, 2024 14:21 22s 8-extension
8-extension
September 25, 2024 14:21 22s
8 extension Run tests #37: Pull request #14 opened by martonmoro
September 25, 2024 12:29 21s 8-extension
8-extension
September 25, 2024 12:29 21s
Implement ZkProgram Run tests #36: Pull request #13 synchronize by mitschabaude
September 25, 2024 11:50 21s feature/program-impl
feature/program-impl
September 25, 2024 11:50 21s
inputs as record type to get less confused about arguments Run tests #35: Commit bf5cf02 pushed by mitschabaude
September 25, 2024 11:50 20s feature/program-impl
feature/program-impl
September 25, 2024 11:50 20s
Implement ZkProgram Run tests #34: Pull request #13 opened by mitschabaude
September 25, 2024 10:31 24s feature/program-impl
feature/program-impl
September 25, 2024 10:31 24s
also infer program inputs properly, and add example of running progra… Run tests #33: Commit ca2b9c6 pushed by mitschabaude
September 25, 2024 10:31 19s feature/program-impl
feature/program-impl
September 25, 2024 10:31 19s
chore: adding coop and more logging and proof verification Run tests #32: Commit 112c566 pushed by martonmoro
September 25, 2024 10:20 22s 8-extension
8-extension
September 25, 2024 10:20 22s
attested data aren't public input Run tests #31: Commit 66c83e7 pushed by mitschabaude
September 25, 2024 10:01 20s feature/program-impl
feature/program-impl
September 25, 2024 10:01 20s
chore(wip): correct sandbox and add coep and coop (not working yet) Run tests #30: Commit 89590a5 pushed by martonmoro
September 25, 2024 09:34 24s 8-extension
8-extension
September 25, 2024 09:34 24s
chore: add o1js imports to proof.js Run tests #29: Commit fe679b2 pushed by martonmoro
September 25, 2024 07:36 26s 8-extension
8-extension
September 25, 2024 07:36 26s
chore: zkprogram compile flag Run tests #28: Commit 8bbff41 pushed by martonmoro
September 25, 2024 06:57 22s 8-extension
8-extension
September 25, 2024 06:57 22s
chore(wip): add sandbox Run tests #27: Commit df2952b pushed by martonmoro
September 24, 2024 15:31 26s 8-extension
8-extension
September 24, 2024 15:31 26s
Merge pull request #7 from zksecurity/feature/program-spec Run tests #26: Commit 26e9663 pushed by mitschabaude
September 23, 2024 11:45 22s main
main
September 23, 2024 11:45 22s
ProTip! You can narrow down the results and go further in time using created:<2024-09-23 or the other filters available.