Skip to content

Actions: l-adic/snarky

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,163 workflow runs
2,163 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
formal: a record's reading decomposes by simp; no per-record reading lemma Lean #683: Pull request #382 opened by martyall
4h 19m 27s pickles/reads-simps
pickles/reads-simps
4h 19m 27s
Merge pull request #379 from l-adic/pickles/records-as-values Lean #682: Commit c00f640 pushed by martyall
38m 51s main
main
38m 51s
Merge pull request #379 from l-adic/pickles/records-as-values CI #1458: Commit c00f640 pushed by martyall
45m 30s main
main
45m 30s
Merge pull request #378 from l-adic/pickles/accumulator-carry Lean #681: Commit 836d7fc pushed by martyall
16m 22s main
main
16m 22s
Merge pull request #378 from l-adic/pickles/accumulator-carry CI #1457: Commit 836d7fc pushed by martyall
16m 7s main
main
16m 7s
Merge pull request #381 from l-adic/pickles/proof-cache-links Lean #680: Commit 43ee31e pushed by martyall
11m 8s main
main
11m 8s
Merge pull request #381 from l-adic/pickles/proof-cache-links CI #1456: Commit 43ee31e pushed by martyall
10m 35s main
main
10m 35s
Pickles/proof cache links CI #1455: Pull request #381 opened by martyall
39m 17s pickles/proof-cache-links
pickles/proof-cache-links
39m 17s
Pickles/proof cache links Lean #679: Pull request #381 opened by martyall
27m 23s pickles/proof-cache-links
pickles/proof-cache-links
27m 23s
formal: the statement records are the circuit inputs, projected off the proof Lean #678: Pull request #379 synchronize by martyall
44m 22s pickles/records-as-values
pickles/records-as-values
44m 22s
formal: the deferred sg obligation is carried, and the driver checks the carry Lean #677: Pull request #378 synchronize by martyall
46m 15s pickles/accumulator-carry
pickles/accumulator-carry
46m 15s
formal: the circuit halves are satisfied on the proofs the PureScript suite cached (#373) Lean #676: Pull request #377 synchronize by martyall
30m 32s pickles/halves-satisfiability-373
pickles/halves-satisfiability-373
30m 32s
formal: the statement records are the circuit inputs, projected off the proof Lean #675: Pull request #379 opened by martyall
11s pickles/records-as-values
pickles/records-as-values
11s
formal: the deferred sg obligation is carried, and the driver checks the carry Lean #674: Pull request #378 opened by martyall
11s pickles/accumulator-carry
pickles/accumulator-carry
11s
formal: the circuit halves are satisfied on the proofs the PureScript suite cached (#373) Lean #673: Pull request #377 synchronize by martyall
35m 10s pickles/halves-satisfiability-373
pickles/halves-satisfiability-373
35m 10s
Merge pull request #376 from l-adic/pickles/proof-cache-links CI #1454: Commit 43c10a9 pushed by martyall
31m 27s main
main
31m 27s
formal: the circuit halves are satisfied on the proofs the PureScript suite cached (#373) Lean #672: Pull request #377 synchronize by martyall
22m 25s pickles/halves-satisfiability-373
pickles/halves-satisfiability-373
22m 25s
pickles: the proof cache records a chain's links and verification keys CI #1453: Pull request #376 synchronize by martyall
35m 27s pickles/proof-cache-links
pickles/proof-cache-links
35m 27s
formal: the circuit halves are satisfied on the proofs the PureScript suite cached (#373) Lean #671: Pull request #377 synchronize by martyall
31m 35s pickles/halves-satisfiability-373
pickles/halves-satisfiability-373
31m 35s
formal: the circuit halves are satisfied on the proofs the PureScript suite cached (#373) Lean #670: Pull request #377 opened by martyall
22m 16s pickles/halves-satisfiability-373
pickles/halves-satisfiability-373
22m 16s
pickles: the proof cache records a chain's links and verification keys CI #1452: Pull request #376 opened by martyall
21m 29s pickles/proof-cache-links
pickles/proof-cache-links
21m 29s
snarky: the prover's witness table is a dense array (#375) Lean #669: Commit 22e09f2 pushed by martyall
37m 27s main
main
37m 27s
snarky: the prover's witness table is a dense array (#375) CI #1451: Commit 22e09f2 pushed by martyall
34m 25s main
main
34m 25s
snarky: the prover's witness table is a dense array Lean #668: Pull request #375 opened by martyall
34m 0s snarky/assignments-array
snarky/assignments-array
34m 0s
snarky: the prover's witness table is a dense array CI #1450: Pull request #375 opened by martyall
33m 56s snarky/assignments-array
snarky/assignments-array
33m 56s