Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,115 workflow runs
8,115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

create interpreter implementation and adding instruction decoder for riscvi32 o1vm CI #78: Pull request #2753 synchronize by svv232
November 12, 2024 05:18 33m 24s sai/instruction-decoding-riscv32
sai/instruction-decoding-riscv32
November 12, 2024 05:18 33m 24s
create interpreter implementation and adding instruction decoder for riscvi32 CI #656: Pull request #2753 opened by svv232
November 12, 2024 04:46 31m 13s sai/instruction-decoding-riscv32
sai/instruction-decoding-riscv32
November 12, 2024 04:46 31m 13s
create interpreter implementation and adding instruction decoder for riscvi32 o1vm CI #77: Pull request #2753 opened by svv232
November 12, 2024 04:46 32m 58s sai/instruction-decoding-riscv32
sai/instruction-decoding-riscv32
November 12, 2024 04:46 32m 58s
Page constants for interpreter implementation and tests o1vm CI #76: Pull request #2752 opened by svv232
November 12, 2024 01:18 33m 12s sai/memory-constants-riscv32
sai/memory-constants-riscv32
November 12, 2024 01:18 33m 12s
Page constants for interpreter implementation and tests CI #655: Pull request #2752 opened by svv232
November 12, 2024 01:18 4h 0m 3s sai/memory-constants-riscv32
sai/memory-constants-riscv32
November 12, 2024 01:18 4h 0m 3s
Nightly tests with the code coverage Nightly tests with the code coverage #73: Scheduled
November 12, 2024 00:18 4h 25m 25s master
master
November 12, 2024 00:18 4h 25m 25s
Syscall Boilerplate for riscvi32 (no interpreter implementation) CI #654: Pull request #2751 opened by svv232
November 12, 2024 00:15 1h 54m 59s sai/syscall-interpret-instruction-riscv32
sai/syscall-interpret-instruction-riscv32
November 12, 2024 00:15 1h 54m 59s
Syscall Boilerplate for riscvi32 (no interpreter implementation) o1vm CI #75: Pull request #2751 opened by svv232
November 12, 2024 00:15 33m 2s sai/syscall-interpret-instruction-riscv32
sai/syscall-interpret-instruction-riscv32
November 12, 2024 00:15 33m 2s
Nightly tests with the code coverage Nightly tests with the code coverage #72: Scheduled
November 11, 2024 00:19 1d 1h 16m 41s master
master
November 11, 2024 00:19 1d 1h 16m 41s
Nightly tests with the code coverage Nightly tests with the code coverage #71: Scheduled
November 10, 2024 00:20 2h 25m 25s master
master
November 10, 2024 00:20 2h 25m 25s
Nightly tests with the code coverage Nightly tests with the code coverage #70: Scheduled
November 9, 2024 00:18 2h 40m 19s master
master
November 9, 2024 00:18 2h 40m 19s
Upstream openmina changes o1vm CI #74: Pull request #2750 opened by sebastiencs
November 8, 2024 08:40 Action required openmina:upstream-openmina
openmina:upstream-openmina
November 8, 2024 08:40 Action required
Upstream openmina changes CI #653: Pull request #2750 opened by sebastiencs
November 8, 2024 08:40 Action required openmina:upstream-openmina
openmina:upstream-openmina
November 8, 2024 08:40 Action required
Wiring the o1VM Proof struct into the Mina OCaml codebase. o1vm CI #73: Pull request #2749 synchronize by shimkiv
November 8, 2024 07:48 33m 38s o1vm/mina-rs-proof-wire
o1vm/mina-rs-proof-wire
November 8, 2024 07:48 33m 38s
Wiring the o1VM Proof struct into the Mina OCaml codebase. CI #652: Pull request #2749 synchronize by shimkiv
November 8, 2024 07:48 33m 46s o1vm/mina-rs-proof-wire
o1vm/mina-rs-proof-wire
November 8, 2024 07:48 33m 46s
Nightly tests with the code coverage Nightly tests with the code coverage #69: Scheduled
November 8, 2024 00:18 2h 29m 34s master
master
November 8, 2024 00:18 2h 29m 34s
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