Skip to content
Proof PR

Arch-split overhaul for design spec #3009

Sign in to view logs

Arch-split overhaul for design spec

Arch-split overhaul for design spec #3009

Triggered via pull request August 19, 2024 02:09
@XaphiosisXaphiosis
synchronize #809
Status Cancelled
Total duration 5m 48s
Artifacts –

proof.yml

on: pull_request_target
Matrix: All
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 4 warnings
All (RISCV64)
The run was canceled by @Xaphiosis.
All (RISCV64)
The operation was canceled.
All (ARM)
The run was canceled by @Xaphiosis.
All (ARM)
The operation was canceled.
All (AARCH64)
The run was canceled by @Xaphiosis.
All (AARCH64)
The operation was canceled.
All (ARM_HYP)
The run was canceled by @Xaphiosis.
All (ARM_HYP)
The SSL connection could not be established, see inner exception.
All (X64)
The run was canceled by @Xaphiosis.
All (X64)
The operation was canceled.
All (ARM_HYP)
Failed to download action 'https://api.github.com/repos/seL4/ci-actions/tarball/ab244b73f7987d44ac5deb1edbfbec43fe540ef3'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
All (ARM_HYP)
Back off 15.092 seconds before retry.
All (ARM_HYP)
Failed to download action 'https://api.github.com/repos/seL4/ci-actions/tarball/ab244b73f7987d44ac5deb1edbfbec43fe540ef3'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
All (ARM_HYP)
Back off 26.242 seconds before retry.