This repository has been archived by the owner on Jun 24, 2024. It is now read-only.
imp: add risc0-check to CI
#3
| Job | Run time |
|---|---|
| 15m 30s | |
| 15m 30s |