Proofs

aarch64 crefine: update to match other arches #790

Sign in to view logs

Triggered via push April 2, 2024 01:00

corlewis

master

Status Success

Total duration 1h 33m 29s

Artifacts 10

proof-deploy.yml

on: push

Matrix: Rebase platform branches

Matrix: Proof

Deploy manifest

Artifacts

Produced during runtime

Name	Size
logs--AARCH64 Expired	153 MB
logs--ARM Expired	207 MB
logs--ARM_HYP Expired	191 MB
logs--RISCV64 Expired	184 MB
logs--X64 Expired	174 MB
logs-1-AARCH64 Expired	153 MB
logs-1-ARM Expired	208 MB
logs-1-ARM_HYP Expired	191 MB
logs-1-RISCV64 Expired	184 MB
logs-1-X64 Expired	174 MB