Skip to content

Actions: openvm-org/stark-backend

Actions

Claude Code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
claude.yml
249 workflow runs
249 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
chore: Report after_challenge columns correctly Claude Code #249: Issue comment #325 (comment) created by jonathanpwang
10s
10s
fix: harden proof wrt q0_claim Claude Code #248: Pull request #326 submitted by jonathanpwang
1s
1s
fix: harden proof wrt q0_claim Claude Code #247: Pull request #326 submitted by jonathanpwang
1s
1s
fix: harden proof wrt q0_claim Claude Code #246: Pull request #326 created by jonathanpwang
1s
1s
fix: harden proof wrt q0_claim Claude Code #245: Pull request #326 submitted by jonathanpwang
1s
1s
fix: harden proof wrt q0_claim Claude Code #244: Pull request #326 submitted by stephenh-axiom-xyz
1s
1s
feat: clean up and update lean extractor codegen Claude Code #243: Pull request #324 submitted by zlangley
1s
1s
feat: clean up and update lean extractor codegen Claude Code #242: Issue comment #324 (comment) created by stephenh-axiom-xyz
1s
1s
fix(test): decrease max height to match root params Claude Code #241: Pull request #323 submitted by zlangley
1s
1s
fix: soundness calculator list size terms Claude Code #240: Pull request #322 submitted by zlangley
1s
1s
fix: soundness calculator list size terms Claude Code #239: Pull request #322 submitted by zlangley
Skipped
Skipped
fix: soundness calculator list size terms Claude Code #238: Pull request #322 created by zlangley
1s
1s
chore: downgrade max constraint degree log to info Claude Code #237: Pull request #321 submitted by zlangley
1s
1s
chore(cuda): audit2 Claude Code #236: Pull request #319 submitted by stephenh-axiom-xyz
2s
2s
feat: reduce base-field sampling bias Claude Code #235: Pull request #320 submitted by jonathanpwang
1s
1s
feat: Add synthetic stark-backend benchmark Claude Code #234: Pull request #318 submitted by jonathanpwang
1s
1s
feat: Add synthetic stark-backend benchmark Claude Code #233: Issue comment #318 (comment) created by claude Bot
Skipped
Skipped
feat: Add synthetic stark-backend benchmark Claude Code #232: Issue comment #318 (comment) created by jonathanpwang
3m 57s
3m 57s
chore(cuda): stream migration refactoring Claude Code #231: Pull request #317 submitted by stephenh-axiom-xyz
1s
1s
chore(cuda): stream migration refactoring Claude Code #230: Pull request #317 submitted by gaxiom
1s
1s
chore(cuda): stream migration refactoring Claude Code #229: Pull request #317 created by gaxiom
1s
1s
chore(cuda): stream migration refactoring Claude Code #228: Pull request #317 submitted by gaxiom
1s
1s
chore(cuda): stream migration refactoring Claude Code #227: Pull request #317 created by gaxiom
2s
2s
chore(cuda): stream migration refactoring Claude Code #226: Pull request #317 created by gaxiom
1s
1s
chore(cuda): stream migration refactoring Claude Code #225: Pull request #317 submitted by gaxiom
1s
1s