o1vm CI #1884
dannywillemso1vm-ci.yml
on: schedule
load-versions
5s
Run o1vm with cached data
1h 7m
Matrix: clippy-o1vm
Annotations
1 error and 1 warning
|
Clippy o1vm (beta)
Process completed with exit code 2.
|
|
Run o1vm with cached data
Restore cache failed: Dependencies file is not found in /home/runner/work/proof-systems/proof-systems. Supported file pattern: go.mod
|