Skip to content

Actions: o1-labs/proof-systems

Actions

Sourcegraph (LSIF)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add serde_as regression test for pasta Sourcegraph (LSIF) #2512: Commit 8d9fcd2 pushed by volhovm
August 21, 2024 15:55 4m 27s volhovm/add-regression-for-pasta-serialization
volhovm/add-regression-for-pasta-serialization
August 21, 2024 15:55 4m 27s
Fixup compilation errors in OCaml conversion helpers Sourcegraph (LSIF) #2511: Commit 5e4e0b1 pushed by mrmr1993
January 3, 2024 19:38 3m 16s feature/update_curves_to_arkworks_042-compatible
feature/update_curves_to_arkworks_042-compatible
January 3, 2024 19:38 3m 16s
add test Sourcegraph (LSIF) #2510: Commit 26455d4 pushed by querolita
September 11, 2023 11:55 6m 14s querolita/keccak
querolita/keccak
September 11, 2023 11:55 6m 14s
keccak with u32 Sourcegraph (LSIF) #2509: Commit 610738d pushed by querolita
August 24, 2023 12:47 5m 57s querolita/keccak32
querolita/keccak32
August 24, 2023 12:47 5m 57s
test of real world raw transaction Sourcegraph (LSIF) #2508: Commit 1412176 pushed by querolita
August 24, 2023 12:43 7m 18s querolita/keccak
querolita/keccak
August 24, 2023 12:43 7m 18s
Merge pull request #1116 from o1-labs/feature/stop-linearizing-option… Sourcegraph (LSIF) #2507: Commit 13b1a1a pushed by mrmr1993
July 23, 2023 17:25 3m 29s berkeley
berkeley
July 23, 2023 17:25 3m 29s
Merge pull request #1109 from o1-labs/feature/evaluate-optional-gate-… Sourcegraph (LSIF) #2506: Commit 6f4aa09 pushed by mrmr1993
July 23, 2023 12:03 4m 58s berkeley
berkeley
July 23, 2023 12:03 4m 58s
Kimchi: apply clippy suggestions to use flatten() Sourcegraph (LSIF) #2505: Commit aa5abdc pushed by rbonichon
July 21, 2023 08:35 3m 47s feature/remove-special-casing-of-lookups
feature/remove-special-casing-of-lookups
July 21, 2023 08:35 3m 47s
Merge pull request #1107 from o1-labs/feature/handle-zero-for-non-opt… Sourcegraph (LSIF) #2504: Commit 45a8f46 pushed by rbonichon
July 21, 2023 08:12 3m 35s berkeley
berkeley
July 21, 2023 08:12 3m 35s
Merge pull request #1106 from o1-labs/feature/remove-evaluated-select… Sourcegraph (LSIF) #2503: Commit 6772d26 pushed by rbonichon
July 21, 2023 08:11 4m 27s berkeley
berkeley
July 21, 2023 08:11 4m 27s
Bump up actions/checkout to v3 Sourcegraph (LSIF) #2502: Commit d0e9af4 pushed by dannywillems
July 20, 2023 19:40 4m 51s dannywillems/address-gh-actions-warning-node-12-deprecated-berkeley
dannywillems/address-gh-actions-warning-node-12-deprecated-berkeley
July 20, 2023 19:40 4m 51s
Delete trailing whitespaces Sourcegraph (LSIF) #2501: Commit 06a0960 pushed by dannywillems
July 20, 2023 15:31 3m 41s dannywillems/berkeley-ci
dannywillems/berkeley-ci
July 20, 2023 15:31 3m 41s