crefine: remove unused lemmas; resolve AARCH64 FIXMEs #767
proof-deploy.yml
on: push
Freeze Code
32s
Matrix: Rebase platform branches
Matrix: Proof
Deploy manifest
0s
Annotations
5 errors
Proof (ARM)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-1' exists
|
Proof (RISCV64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-7' exists
|
Proof (AARCH64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-5' exists
|
Proof (ARM_HYP)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-3' exists
|
Proof (X64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-9' exists
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
logs-1-AARCH64
Expired
|
151 MB |
|
logs-1-ARM
Expired
|
205 MB |
|
logs-1-ARM_HYP
Expired
|
188 MB |
|
logs-1-RISCV64
Expired
|
181 MB |
|
logs-1-X64
Expired
|
171 MB |
|