Rust CI

Proof-Setup: Implement linking between phases, test integration with the rest of the codebase #6698

Sign in to view logs

Triggered via pull request September 8, 2023 05:42

cronokirby

synchronize #2982

2871-phase-linking

Status Failure

Total duration 6m 51s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

rust.yml

on: pull_request

Check for warnings

Check that rustdocs build OK

Annotations

1 error

Process completed with exit code 1.