Proof-Setup: Implement linking between phases, test integration with the rest of the codebase #6699
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
rust.yml
on: pull_request
Test Suite
2m 36s
Rustfmt
17s
Check for warnings
31s
Check that rustdocs build OK
45s
Build WASM
3m 11s
Annotations
2 errors
Rustfmt
Process completed with exit code 1.
|
Check for warnings
Process completed with exit code 101.
|