Skip to content

Actions: pyca/verified-garbage

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
Lean: x86-64 P-384 products modulo p as a function (vg_p384_mul_mod_p, _adx) CI #5952: Pull request #1599 synchronize by alex
Queued claude/eager-galileo-634yjc-p384-calls
claude/eager-galileo-634yjc-p384-calls
Queued
Lean: x86-64 P-384 products modulo p as a function (vg_p384_mul_mod_p, _adx) Benchmarks #1876: Pull request #1599 synchronize by alex
Queued claude/eager-galileo-634yjc-p384-calls
claude/eager-galileo-634yjc-p384-calls
Queued
Spec: two Keccak-f[1600] permutations at once (vg_keccak_f1600x2) CI #5951: Pull request #1667 opened by reaperhulk
Queued claude/keccak-f1600x2-spec
claude/keccak-f1600x2-spec
Queued
rustls-provider: a rustls CryptoProvider backed by verified-garbage, and benchmarks against aws-lc-rs CI #5950: Pull request #991 synchronize by alex
Queued claude/cool-dijkstra-o2qo01
claude/cool-dijkstra-o2qo01
Queued
rustls-provider: a rustls CryptoProvider backed by verified-garbage, and benchmarks against aws-lc-rs CI #5949: Pull request #991 synchronize by alex
39s claude/cool-dijkstra-o2qo01
claude/cool-dijkstra-o2qo01
39s
Modes: the running counter's lemmas once, for every target CI #5948: Pull request #1666 opened by reaperhulk
Queued modes-shared-counter
modes-shared-counter
Queued
CI CI #5947: Merge group checks requested
Queued
Queued
x86-64 modes: CBC proven once for any block cipher's core; SM4-CBC and Camellia-CBC on it CI #5946: Pull request #1665 opened by reaperhulk
Queued cbc-x86-64
cbc-x86-64
Queued
x86-64 modes: CBC proven once for any block cipher's core; SM4-CBC and Camellia-CBC on it Benchmarks #1875: Pull request #1665 opened by reaperhulk
6m 1s cbc-x86-64
cbc-x86-64
6m 1s
Lean: faster IDEA reduction and divstep lattice proofs (explicit modu… CI #5945: Commit a1b76de pushed by github-merge-queue Bot
Queued main
main
Queued
x86-64 X25519 base and Ed25519 scalar base: call vg_gf25519_r64_invert Benchmarks #1874: Pull request #1664 opened by reaperhulk
5m 46s claude/gf25519-invert-ed25519
claude/gf25519-invert-ed25519
5m 46s
x86-64 X25519 base and Ed25519 scalar base: call vg_gf25519_r64_invert CI #5944: Pull request #1664 opened by reaperhulk
Queued claude/gf25519-invert-ed25519
claude/gf25519-invert-ed25519
Queued
CI CI #5943: Merge group checks requested
In progress
In progress
CI CI #5942: Merge group checks requested
In progress
In progress
CI CI #5941: Merge group checks requested
In progress
In progress
Benchmarks Benchmarks #1873: Manually run by alex
2m 53s claude/eager-galileo-634yjc-mldsa-keccak2
claude/eager-galileo-634yjc-mldsa-keccak2
2m 53s
CI CI #5940: Merge group checks requested
In progress
In progress
Lean: TCombJEntry: omega_using the one apartness fact each side goal … CI #5939: Commit 39dc7ab pushed by github-merge-queue Bot
Queued main
main
Queued
Publish Lean cache Publish Lean cache #513: completed by github-merge-queue Bot
58s
58s
AArch64 modes: CTR proven once for any block cipher's core; SM4-CTR o… CI #5938: Commit 1816e68 pushed by github-merge-queue Bot
Queued main
main
Queued
lean_closure.py: score the working tree's repo, merges and faster proofs CI #5937: Pull request #1663 opened by alex
7m 42s claude/faster-proofs-chacha-poly-closure-fixes
claude/faster-proofs-chacha-poly-closure-fixes
7m 42s
Publish Lean cache Publish Lean cache #512: completed by github-merge-queue Bot
49s
49s
Benchmarks Benchmarks #1872: Manually run by alex
1m 30s claude/eager-galileo-634yjc-mldsa-keccak2
claude/eager-galileo-634yjc-mldsa-keccak2
1m 30s
Lean: field-op templates for the x86-64 ECDSA/ECDH/EcKey literals (P-192, P-224, secp256k1, P-256) CI #5936: Pull request #1662 opened by alex
7m 12s claude/faster-proofs-ecdsa-lit-x86
claude/faster-proofs-ecdsa-lit-x86
7m 12s
Lean: x86-64 P-384 products modulo p as a function (vg_p384_mul_mod_p, _adx) Benchmarks #1871: Pull request #1599 synchronize by alex
5m 2s claude/eager-galileo-634yjc-p384-calls
claude/eager-galileo-634yjc-p384-calls
5m 2s