Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,108 workflow runs
8,108 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 #69: Scheduled
November 8, 2024 00:18 In progress master
master
November 8, 2024 00:18 In progress
Nightly tests with the code coverage Nightly tests with the code coverage #68: Scheduled
November 7, 2024 00:18 2h 28m 4s master
master
November 7, 2024 00:18 2h 28m 4s
Nightly tests with the code coverage Nightly tests with the code coverage #67: Scheduled
November 6, 2024 00:18 2h 33m 6s master
master
November 6, 2024 00:18 2h 33m 6s
Wiring the o1VM Proof struct into the Mina OCaml codebase. o1vm CI #72: Pull request #2749 opened by shimkiv
November 5, 2024 16:52 4m 20s o1vm/mina-rs-proof-wire
o1vm/mina-rs-proof-wire
November 5, 2024 16:52 4m 20s
Wiring the o1VM Proof struct into the Mina OCaml codebase. CI #651: Pull request #2749 opened by shimkiv
November 5, 2024 16:52 10m 15s o1vm/mina-rs-proof-wire
o1vm/mina-rs-proof-wire
November 5, 2024 16:52 10m 15s
Nightly tests with the code coverage Nightly tests with the code coverage #66: Scheduled
November 5, 2024 00:18 2h 34m 52s master
master
November 5, 2024 00:18 2h 34m 52s
o1vm/riscv32i: split interpret_instruction in subroutines o1vm CI #71: Pull request #2748 opened by dannywillems
November 4, 2024 15:27 33m 53s dw/split-interpret-instruction-riscv32
dw/split-interpret-instruction-riscv32
November 4, 2024 15:27 33m 53s
o1vm/riscv32i: split interpret_instruction in subroutines CI #650: Pull request #2748 opened by dannywillems
November 4, 2024 15:27 1h 2m 59s dw/split-interpret-instruction-riscv32
dw/split-interpret-instruction-riscv32
November 4, 2024 15:27 1h 2m 59s
o1vm/riscv32i: implement constraints, witness and interpreter env o1vm CI #70: Pull request #2747 synchronize by dannywillems
November 4, 2024 15:19 33m 4s dw/interpreter-constraint-witness-env
dw/interpreter-constraint-witness-env
November 4, 2024 15:19 33m 4s
o1vm/riscv32i: implement constraints, witness and interpreter env CI #649: Pull request #2747 synchronize by dannywillems
November 4, 2024 15:19 35m 35s dw/interpreter-constraint-witness-env
dw/interpreter-constraint-witness-env
November 4, 2024 15:19 35m 35s
o1vm/riscv32i: introduce instruction set o1vm CI #69: Pull request #2746 synchronize by dannywillems
November 4, 2024 12:56 33m 19s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 12:56 33m 19s
o1vm/riscv32i: introduce instruction set CI #648: Pull request #2746 synchronize by dannywillems
November 4, 2024 12:56 34m 41s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 12:56 34m 41s
o1vm/riscv32i: introduce instruction set o1vm CI #68: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:16 33m 1s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:16 33m 1s
o1vm/riscv32i: introduce instruction set CI #647: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:16 1h 39m 47s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:16 1h 39m 47s
o1vm/riscv32i: introduce instruction set CI #646: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:11 5m 57s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:11 5m 57s
o1vm/riscv32i: introduce instruction set o1vm CI #67: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:11 33m 17s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:11 33m 17s
o1vm/riscv32i: introduce instruction set o1vm CI #66: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:09 33m 33s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:09 33m 33s
o1vm/riscv32i: introduce instruction set CI #645: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:09 2m 28s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:09 2m 28s
o1vm/riscv32i: introduce instruction set CI #644: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:06 2m 47s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:06 2m 47s
o1vm/riscv32i: introduce instruction set o1vm CI #65: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:06 33m 27s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:06 33m 27s
o1vm/riscv32i: introduce instruction set o1vm CI #64: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:04 33m 29s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:04 33m 29s
o1vm/riscv32i: introduce instruction set CI #643: Pull request #2746 synchronize by dannywillems
November 4, 2024 11:04 2m 45s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 11:04 2m 45s
o1vm/riscv32i: introduce instruction set CI #642: Pull request #2746 opened by dannywillems
November 4, 2024 10:54 10m 9s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 10:54 10m 9s
o1vm/riscv32i: introduce instruction set o1vm CI #63: Pull request #2746 opened by dannywillems
November 4, 2024 10:54 33m 2s dw/o1vm-riscv32i-instruction-set
dw/o1vm-riscv32i-instruction-set
November 4, 2024 10:54 33m 2s
o1vm/riscv32i: introduce column module o1vm CI #62: Pull request #2745 opened by dannywillems
November 4, 2024 10:48 33m 14s dw/o1vm-riscv32i-introduce-scratch-size-column
dw/o1vm-riscv32i-introduce-scratch-size-column
November 4, 2024 10:48 33m 14s