Skip to content

Actions: worldfnd/provekit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
ci: add typos spell-checking workflow Go CI #1064: Pull request #379 synchronize by Bisht13
1m 6s px/ci-typos-spell-check
px/ci-typos-spell-check
1m 6s
ci: add typos spell-checking workflow End-to-end CI #1038: Pull request #379 synchronize by Bisht13
21m 33s px/ci-typos-spell-check
px/ci-typos-spell-check
21m 33s
ci: add typos spell-checking workflow Cargo Build & Test #1636: Pull request #379 synchronize by Bisht13
21m 10s px/ci-typos-spell-check
px/ci-typos-spell-check
21m 10s
ci: add typos spell-checking workflow End-to-end CI #1037: Pull request #379 opened by Bisht13
2m 11s px/ci-typos-spell-check
px/ci-typos-spell-check
2m 11s
ci: add typos spell-checking workflow Go CI #1063: Pull request #379 opened by Bisht13
58s px/ci-typos-spell-check
px/ci-typos-spell-check
58s
ci: add typos spell-checking workflow Cargo Build & Test #1635: Pull request #379 opened by Bisht13
1m 59s px/ci-typos-spell-check
px/ci-typos-spell-check
1m 59s
Adds SPARK End-to-end CI #1036: Pull request #345 synchronize by batmendbar
25m 59s adds-spark-squashed
adds-spark-squashed
25m 59s
Adds SPARK Go CI #1062: Pull request #345 synchronize by batmendbar
1m 5s adds-spark-squashed
adds-spark-squashed
1m 5s
Adds SPARK Cargo Build & Test #1634: Pull request #345 synchronize by batmendbar
20m 58s adds-spark-squashed
adds-spark-squashed
20m 58s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Claude Code #169: Pull request #354 submitted by rose2221
7s
7s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Cargo Build & Test #1633: Pull request #361 synchronize by ocdbytes
21m 3s aj/v1/fix-unbound-logup-challanges
aj/v1/fix-unbound-logup-challanges
21m 3s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Benchmark on Raspberry Pi 5 #1119: Pull request #361 synchronize by ocdbytes
10m 36s aj/v1/fix-unbound-logup-challanges
aj/v1/fix-unbound-logup-challanges
10m 36s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Go CI #1061: Pull request #359 synchronize by ocdbytes
1m 1s aj/main/fix-unbound-logup-challanges
aj/main/fix-unbound-logup-challanges
1m 1s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] End-to-end CI #1035: Pull request #359 synchronize by ocdbytes
36m 18s aj/main/fix-unbound-logup-challanges
aj/main/fix-unbound-logup-challanges
36m 18s
Fix : Unbound LogUp Transcript Challenges Let the Prover Choose Lookup Randomness [LA-G] Cargo Build & Test #1632: Pull request #359 synchronize by ocdbytes
22m 14s aj/main/fix-unbound-logup-challanges
aj/main/fix-unbound-logup-challanges
22m 14s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] End-to-end CI #1034: Pull request #354 synchronize by Bisht13
21m 31s px/fix-duplicate-witness-canonicalization-main
px/fix-duplicate-witness-canonicalization-main
21m 31s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Cargo Build & Test #1631: Pull request #354 synchronize by Bisht13
21m 7s px/fix-duplicate-witness-canonicalization-main
px/fix-duplicate-witness-canonicalization-main
21m 7s
fix: canonicalize duplicate witness terms in R1CS constraints [LA - C] Go CI #1060: Pull request #354 synchronize by Bisht13
1m 3s px/fix-duplicate-witness-canonicalization-main
px/fix-duplicate-witness-canonicalization-main
1m 3s
fix: enforce end-of-transcript validation in WhirR1CS verifier [LA - F] Claude Code #168: Pull request #356 submitted by rose2221
1s
1s
r1cs-compiler: constant-operand branches in AND/XOR black-box handler are unreachable dead code Claude Code #167: Issue #378 opened by x-senpai-x
1s
1s
r1cs-compiler: AND/XOR black-box panics on witnesses wider than 32 bits (u64) Claude Code #166: Issue #377 opened by x-senpai-x
Skipped
Skipped
fix: bind evals to transcript [LA - K] Claude Code #165: Pull request #365 submitted by ocdbytes
1s
1s
fix: assert num_entries <= full_size [LA - J] Cargo Build & Test #1630: Pull request #376 opened by ashpect
21m 4s ash/audit3
ash/audit3
21m 4s
fix: assert num_entries <= full_size [LA - J] Benchmark on Raspberry Pi 5 #1118: Pull request #376 opened by ashpect
10m 16s ash/audit3
ash/audit3
10m 16s
Merge pull request #362 from worldfnd/aj/fix/flaky-msm-test-ci Go CI #1059: Commit 94a79c6 pushed by ashpect
1m 18s main
main
1m 18s
ProTip! You can narrow down the results and go further in time using created:<2026-03-23 or the other filters available.