Skip to content
Proofs

manifest-update #857

Sign in to view logs

manifest-update

manifest-update #857

Triggered via repository dispatch June 12, 2024 03:25
@seL4-ciseL4-ci
manifest-update ⁠ 6ab6513
Status Cancelled
Total duration 40m 14s
Artifacts –

proof-deploy.yml

on: repository_dispatch
Freeze Code
30s
Freeze Code
Matrix: Rebase platform branches
Matrix: Proof
Deploy manifest
0s
Deploy manifest
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Proof (AARCH64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-5' exists
Proof (ARM_HYP, 1)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-2' exists
Proof (RISCV64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-7' exists
Proof (AARCH64, 1)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-4' exists
Proof (ARM_HYP)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-3' exists
Proof (ARM, 1)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-0' exists
Proof (X64)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-9' exists
Proof (X64, 1)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-8' exists
Proof (ARM)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-1' exists
Proof (RISCV64, 1)
Canceling since a higher priority waiting request for 'l4v-regression-refs/heads/master-6' exists