Update to RISC0 v3.0.3 #10424
Triggered via pull request
November 4, 2025 12:57
lukaszcz
Status
Cancelled
Total duration
15m 10s
Artifacts
–
ci.yml
on: pull_request
pre-commit
18s
ormolu
51s
build-and-test-linux
14m 52s
build-and-test-macos
0s
Annotations
4 errors and 2 warnings
|
ormolu
Process completed with exit code 123.
|
|
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
|