Proof PR

Discard ARM Refine proofs on rt branch #3058

Sign in to view logs

Triggered via pull request November 14, 2024 10:21

corlewis

synchronize #826

Status Success

Total duration 36m 27s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

Name	Size
logs-ARM	103 MB
logs-RISCV64	156 MB