Update to RISC0 v3.0.3 #10420
Triggered via pull request
November 4, 2025 12:11
lukaszcz
Status
Cancelled
Total duration
9m 24s
Artifacts
–
ci.yml
on: pull_request
pre-commit
34s
ormolu
3m 45s
build-and-test-linux
9m 20s
build-and-test-macos
Annotations
4 errors and 2 warnings
|
ormolu
Process completed with exit code 1.
|
|
build-and-test-linux
Canceling since a higher priority waiting request for Juvix Compiler CI-update-risc0-3.0.3 exists
|
|
build-and-test-linux
The operation was canceled.
|
|
Juvix Compiler CI
Canceling since a higher priority waiting request for Juvix Compiler CI-update-risc0-3.0.3 exists
|
|
build-and-test-linux
min..max inside match is deprecated, you must always match on the step: min..max//var or min..max//_ if you want to ignore it
|
|
build-and-test-linux
x..y inside match is deprecated, you must always match on the step: x..y//var or x..y//_ if you want to ignore it
|