Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,412 workflow runs
9,412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly tests with the code coverage Nightly tests with the code coverage #162: Scheduled
February 6, 2025 00:19 In progress master
master
February 6, 2025 00:19 In progress
[Saffron] Add update function CI #1341: Pull request #3004 synchronize by martyall
February 5, 2025 19:08 1h 29m 25s martin/saffron-update
martin/saffron-update
February 5, 2025 19:08 1h 29m 25s
[Saffron] Add update function Saffron CI #185: Pull request #3004 synchronize by martyall
February 5, 2025 19:08 9m 59s martin/saffron-update
martin/saffron-update
February 5, 2025 19:08 9m 59s
[Saffron] Add update function o1vm CI #973: Pull request #3004 synchronize by martyall
February 5, 2025 19:08 1h 6m 0s martin/saffron-update
martin/saffron-update
February 5, 2025 19:08 1h 6m 0s
[Saffron] Add update function CI #1340: Pull request #3004 opened by martyall
February 5, 2025 18:38 30m 53s martin/saffron-update
martin/saffron-update
February 5, 2025 18:38 30m 53s
[Saffron] Add update function o1vm CI #972: Pull request #3004 opened by martyall
February 5, 2025 18:38 1h 9m 53s martin/saffron-update
martin/saffron-update
February 5, 2025 18:38 1h 9m 53s
[Saffron] Add update function Saffron CI #184: Pull request #3004 opened by martyall
February 5, 2025 18:38 8m 29s martin/saffron-update
martin/saffron-update
February 5, 2025 18:38 8m 29s
Performance: parallelising kimchi prover more o1vm CI #971: Pull request #2969 synchronize by volhovm
February 5, 2025 15:43 1h 12m 21s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 5, 2025 15:43 1h 12m 21s
Performance: parallelising kimchi prover more CI #1339: Pull request #2969 synchronize by volhovm
February 5, 2025 15:43 10m 10s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 5, 2025 15:43 10m 10s
Performance: parallelising kimchi prover more Saffron CI #183: Pull request #2969 synchronize by volhovm
February 5, 2025 15:43 9m 11s volhovm/profiling-kimchi-thread-utilisation
volhovm/profiling-kimchi-thread-utilisation
February 5, 2025 15:43 9m 11s
o1vm/lookup: add lookup prover until alpha Saffron CI #182: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 14:09 1m 49s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 14:09 1m 49s
o1vm/lookup: add lookup prover until alpha o1vm CI #970: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 14:09 1h 6m 19s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 14:09 1h 6m 19s
o1vm/lookup: add lookup prover until alpha CI #1338: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 14:09 2h 10m 36s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 14:09 2h 10m 36s
o1vm/lookup: add lookup prover until alpha Saffron CI #181: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 13:53 9m 28s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 13:53 9m 28s
o1vm/lookup: add lookup prover until alpha CI #1337: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 13:53 15m 38s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 13:53 15m 38s
o1vm/lookup: add lookup prover until alpha o1vm CI #969: Pull request #3000 synchronize by marcbeunardeau88
February 5, 2025 13:53 1h 10m 6s marc/auxiliary_prover_rebased
marc/auxiliary_prover_rebased
February 5, 2025 13:53 1h 10m 6s
Marc/lookup env Saffron CI #180: Pull request #2960 synchronize by marcbeunardeau88
February 5, 2025 13:45 9m 6s marc/lookup-env
marc/lookup-env
February 5, 2025 13:45 9m 6s
Marc/lookup env o1vm CI #968: Pull request #2960 synchronize by marcbeunardeau88
February 5, 2025 13:45 1h 9m 2s marc/lookup-env
marc/lookup-env
February 5, 2025 13:45 1h 9m 2s
Marc/lookup env CI #1336: Pull request #2960 synchronize by marcbeunardeau88
February 5, 2025 13:45 1h 11m 0s marc/lookup-env
marc/lookup-env
February 5, 2025 13:45 1h 11m 0s
Arrabbiata: add a workflow reg. "two steps" challenges verification Saffron CI #179: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:22 2m 47s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:22 2m 47s
Arrabbiata: add a workflow reg. "two steps" challenges verification o1vm CI #967: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:22 1h 5m 51s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:22 1h 5m 51s
Arrabbiata: add a workflow reg. "two steps" challenges verification CI #1335: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:22 1h 3m 39s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:22 1h 3m 39s
Arrabbiata: add a workflow reg. "two steps" challenges verification Saffron CI #178: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:20 6m 57s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:20 6m 57s
Arrabbiata: add a workflow reg. "two steps" challenges verification o1vm CI #966: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:20 1h 5m 44s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:20 1h 5m 44s
Arrabbiata: add a workflow reg. "two steps" challenges verification CI #1334: Pull request #3003 synchronize by dannywillems
February 5, 2025 09:20 2m 4s arrabbiata/additional-doc-challenges
arrabbiata/additional-doc-challenges
February 5, 2025 09:20 2m 4s