aarch64 ainvs+refine+crefine: make proofs generic in PA_SIZE_BITS_40 #923
proof-deploy.yml
on: push
Freeze Code
25s
Matrix: Rebase platform branches
Matrix: Proof
Deploy manifest
0s
Annotations
3 errors
Rebase platform branches (imx8-fpu-ver)
Process completed with exit code 1.
|
Proof (AARCH64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-5' exists
|
Proof (ARM)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-1' exists
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
logs--ARM_HYP
|
192 MB |
|
logs--RISCV64
|
185 MB |
|
logs--X64
|
175 MB |
|
logs-1-AARCH64
|
153 MB |
|
logs-1-ARM
|
209 MB |
|
logs-1-ARM_HYP
|
192 MB |
|
logs-1-RISCV64
|
185 MB |
|
logs-1-X64
|
175 MB |
|