Discard ARM Refine proofs on rt branch #3057

Sign in to view logs

Triggered via pull request November 14, 2024 07:59

corlewis

opened #826

Status Failure

Total duration 2h 40m 11s

Artifacts 1

proof.yml

on: pull_request_target

Matrix: MCS

Annotations

1 error

Action aws-proofs failed.

Artifacts

Produced during runtime

Name	Size
logs-RISCV64	156 MB