Skip to content

Arch-split overhaul for design spec #3010

Arch-split overhaul for design spec

Arch-split overhaul for design spec #3010

Triggered via pull request August 19, 2024 02:13
@XaphiosisXaphiosis
synchronize #809
Status Success
Total duration 17m 2s
Artifacts 5

proof.yml

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

Annotations

2 warnings
All (X64)
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 (X64)
Back off 22.106 seconds before retry.

Artifacts

Produced during runtime
Name Size
logs-AARCH64 Expired
153 MB
logs-ARM Expired
209 MB
logs-ARM_HYP Expired
192 MB
logs-RISCV64 Expired
185 MB
logs-X64 Expired
175 MB