Skip to content

o1vm/riscv32i: introduce instruction set #64

o1vm/riscv32i: introduce instruction set

o1vm/riscv32i: introduce instruction set #64

Triggered via pull request November 4, 2024 11:04
Status Success
Total duration 33m 29s
Artifacts

o1vm-ci.yml

on: pull_request
Matrix: Run o1vm with cached data
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run o1vm with cached data (1.74, 4.14)
Restore cache failed: Dependencies file is not found in /home/runner/work/proof-systems/proof-systems. Supported file pattern: go.sum