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