Rust CI

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

Sign in to view logs

Triggered via pull request September 8, 2023 05:39

cronokirby

opened #2982

2871-phase-linking

Status Failure

Total duration 6m 24s

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.