Skip to content

Actions: worldfnd/provekit

Actions

Claude Code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
claude.yml
333 workflow runs
333 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add wordmark logo to the README.md Claude Code #341: Issue comment #416 (comment) created by Bisht13
1s
1s
test(msm): add negative/adversarial tests for MSM constraint satisfaction Claude Code #340: Issue comment #392 (comment) created by Bisht13
7s
7s
Preserve public-input equalities during Noir GE optimization Claude Code #338: Pull request #413 submitted by rose2221
1s
1s
Use Verity internally in the wasm demo Claude Code #337: Issue comment #414 (comment) created by Bisht13
1s
1s
Adds SPARK Claude Code #336: Pull request #345 created by veljkovranic
1s
1s
Adds SPARK Claude Code #335: Pull request #345 submitted by veljkovranic
2s
2s
Adds SPARK Claude Code #334: Pull request #345 created by batmendbar
1s
1s
Adds SPARK Claude Code #333: Pull request #345 submitted by batmendbar
1s
1s
Adds SPARK Claude Code #332: Pull request #345 submitted by batmendbar
Skipped
Skipped
Adds SPARK Claude Code #331: Pull request #345 created by batmendbar
1s
1s
Adds SPARK Claude Code #330: Pull request #345 submitted by batmendbar
1s
1s
Adds SPARK Claude Code #329: Pull request #345 created by batmendbar
1s
1s
Reject malformed 32-bit constants in AND/XOR and SHA256 compilation [LASuggestion3] Claude Code #328: Pull request #374 submitted by Bisht13
1s
1s
bump Noir dependency to v1.0.0-beta.19 Claude Code #327: Issue comment #349 (comment) created by Bisht13
10s
10s
Upgrade to Noir beta14 Claude Code #326: Issue comment #218 (comment) created by Bisht13
1s
1s
Added poseidon2 as a hashconfig Claude Code #325: Pull request #412 created by Copilot AI
1s
1s
Added poseidon2 as a hashconfig Claude Code #324: Pull request #412 created by Copilot AI
1s
1s
Added poseidon2 as a hashconfig Claude Code #323: Pull request #412 submitted by Copilot AI
1s
1s
Added poseidon2 as a hashconfig Claude Code #322: Pull request #412 created by Copilot AI
7s
7s
fix DSC Key Smuggling via Unsigned TBS Data [LA-A] Claude Code #321: Pull request #369 submitted by x-senpai-x
2s
2s
fix DSC Key Smuggling via Unsigned TBS Data [LA-A] Claude Code #320: Pull request #369 created by x-senpai-x
1s
1s
Adds SPARK Claude Code #319: Pull request #345 created by veljkovranic
9s
9s
Adds SPARK Claude Code #318: Pull request #345 submitted by veljkovranic
1s
1s
Adds SPARK Claude Code #317: Pull request #345 created by veljkovranic
1s
1s
Adds SPARK Claude Code #316: Pull request #345 submitted by veljkovranic
1s
1s