Skip to content

Actions: o1-labs/proof-systems

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,427 workflow runs
1,427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Marc/lookup verif CI #1431: Pull request #3036 opened by marcbeunardeau88
February 13, 2025 20:28 10m 29s marc/lookup-verif
marc/lookup-verif
February 13, 2025 20:28 10m 29s
Run Saffron in it's own workflow, restore OG CI for core lib only CI #1430: Pull request #3035 synchronize by martyall
February 13, 2025 19:28 In progress martin/saffron-disable-codecoverage
martin/saffron-disable-codecoverage
February 13, 2025 19:28 In progress
Run Saffron in it's own workflow, restore OG CI for core lib only CI #1429: Pull request #3035 synchronize by martyall
February 13, 2025 19:22 6m 26s martin/saffron-disable-codecoverage
martin/saffron-disable-codecoverage
February 13, 2025 19:22 6m 26s
Run Saffron in it's own workflow, restore OG CI for core lib only CI #1428: Pull request #3035 opened by martyall
February 13, 2025 19:20 1m 38s martin/saffron-disable-codecoverage
martin/saffron-disable-codecoverage
February 13, 2025 19:20 1m 38s
MVPoly: speed up cross-terms computation when multiplicands are zero CI #1427: Pull request #3034 opened by dannywillems
February 13, 2025 17:48 2h 16m 20s mvpoly/simplify-cross-terms-computation
mvpoly/simplify-cross-terms-computation
February 13, 2025 17:48 2h 16m 20s
WIP: Arrabbiata: start cross terms, finally CI #1426: Pull request #3033 opened by dannywillems
February 13, 2025 15:14 4h 49m 36s arrabbiata/start-cross-terms-finally
arrabbiata/start-cross-terms-finally
February 13, 2025 15:14 4h 49m 36s
Arrabbiata: remove marker in Witness structure CI #1425: Pull request #3032 opened by dannywillems
February 13, 2025 14:30 5h 33m 29s arrabbiata/remove-marker
arrabbiata/remove-marker
February 13, 2025 14:30 5h 33m 29s
Arrabbiata: use "combiner" instead of "randomiser" for challenges CI #1424: Pull request #3031 opened by dannywillems
February 13, 2025 14:03 6h 0m 15s arrabbiata/apply-marc-change-in-names
arrabbiata/apply-marc-change-in-names
February 13, 2025 14:03 6h 0m 15s
Arrabbiata/witness: accumulate commited state CI #1423: Pull request #3030 synchronize by dannywillems
February 13, 2025 13:30 6h 33m 35s arrabbiata/accumulate-commitments
arrabbiata/accumulate-commitments
February 13, 2025 13:30 6h 33m 35s
Arrabbiata/witness: accumulate commited state CI #1422: Pull request #3030 synchronize by dannywillems
February 13, 2025 13:27 2m 35s arrabbiata/accumulate-commitments
arrabbiata/accumulate-commitments
February 13, 2025 13:27 2m 35s
Arrabbiata/witness: accumulate commited state CI #1421: Pull request #3030 opened by dannywillems
February 13, 2025 13:26 1m 26s arrabbiata/accumulate-commitments
arrabbiata/accumulate-commitments
February 13, 2025 13:26 1m 26s
Arrabbiata: type the accumulator of the program states + fix stupid initialisation CI #1420: Pull request #3029 opened by dannywillems
February 13, 2025 12:54 7h 9m 59s arrrabbiata/accumulator-witness-typed
arrrabbiata/accumulator-witness-typed
February 13, 2025 12:54 7h 9m 59s
Arrabbiata: accumulate program state CI #1419: Pull request #3028 synchronize by dannywillems
February 13, 2025 12:26 6h 1m 7s dw/accumulate-program-state
dw/accumulate-program-state
February 13, 2025 12:26 6h 1m 7s
Arrabbiata: accumulate program state CI #1418: Pull request #3028 synchronize by dannywillems
February 13, 2025 12:23 3m 46s dw/accumulate-program-state
dw/accumulate-program-state
February 13, 2025 12:23 3m 46s
Arrabbiata: accumulate program state CI #1417: Pull request #3028 opened by dannywillems
February 13, 2025 12:22 1m 46s dw/accumulate-program-state
dw/accumulate-program-state
February 13, 2025 12:22 1m 46s
Arrabbiata: coining alpha challenge + implement generic coin_challenge CI #1416: Pull request #3027 synchronize by dannywillems
February 13, 2025 09:51 5h 49m 2s dw/coin-alpha-challenge
dw/coin-alpha-challenge
February 13, 2025 09:51 5h 49m 2s
[saffron] Add Read Proof CI #1415: Pull request #3016 synchronize by martyall
February 13, 2025 01:30 12h 35m 47s martin/saffron-read-pf
martin/saffron-read-pf
February 13, 2025 01:30 12h 35m 47s
[saffron] Add Read Proof CI #1414: Pull request #3016 synchronize by martyall
February 13, 2025 00:49 10m 34s martin/saffron-read-pf
martin/saffron-read-pf
February 13, 2025 00:49 10m 34s
Arrabbiata: coining alpha challenge + implement generic coin_challenge CI #1413: Pull request #3027 synchronize by dannywillems
February 12, 2025 21:09 12h 42m 59s dw/coin-alpha-challenge
dw/coin-alpha-challenge
February 12, 2025 21:09 12h 42m 59s
Arrabbiata: coining alpha challenge + implement generic coin_challenge CI #1412: Pull request #3027 synchronize by dannywillems
February 12, 2025 21:07 1m 46s dw/coin-alpha-challenge
dw/coin-alpha-challenge
February 12, 2025 21:07 1m 46s
Arrabbiata: coining alpha challenge + implement generic coin_challenge CI #1411: Pull request #3027 opened by dannywillems
February 12, 2025 21:05 3m 5s dw/coin-alpha-challenge
dw/coin-alpha-challenge
February 12, 2025 21:05 3m 5s
Arrabbiata/curve: implement squeeze_challenge CI #1410: Pull request #3026 synchronize by dannywillems
February 12, 2025 19:03 6h 0m 39s arrabbiata/squeeze-challenge-method
arrabbiata/squeeze-challenge-method
February 12, 2025 19:03 6h 0m 39s
Arrabbiata/curve: implement squeeze_challenge CI #1409: Pull request #3026 synchronize by dannywillems
February 12, 2025 19:02 1m 31s arrabbiata/squeeze-challenge-method
arrabbiata/squeeze-challenge-method
February 12, 2025 19:02 1m 31s
Arrabbiata/curve: implement squeeze_challenge CI #1408: Pull request #3026 opened by dannywillems
February 12, 2025 19:01 1m 25s arrabbiata/squeeze-challenge-method
arrabbiata/squeeze-challenge-method
February 12, 2025 19:01 1m 25s
Arrabbiata/witness: add field to accumulate challenges CI #1407: Pull request #3020 synchronize by dannywillems
February 12, 2025 18:54 14h 17m 33s dw/add-accumulated-challenges
dw/add-accumulated-challenges
February 12, 2025 18:54 14h 17m 33s