Test

Prusti 2.0: Coupling Graph #7251

Triggered via pull request October 18, 2023 17:01

JonasAlaif

synchronize #1449

coupling-graph-engine

Status Failure

Total duration 21m 41s

Artifacts –

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

test.yml

on: pull_request

Matrix: all-tests

Matrix: release-build

Matrix: test-crates

4 errors

Process completed with exit code 1.

Process completed with exit code 101.

Process completed with exit code 101.

Process completed with exit code 1.