aarch64 infoflow: generalise example state · seL4/l4v@2bd604b

Triggered via pull request August 9, 2026 12:08

lsf37

synchronize #1046

Status Success

Total duration 1h 7m 53s

Artifacts 5

proof.yml

on: pull_request_target

Matrix: All

Produced during runtime

Name	Size	Digest
logs-AARCH64	200 MB	`sha256:a6e2fcba77277f0f6dbce1d75911f8b6a5fb354a161de1e3e58b717693a122bf`
logs-ARM	226 MB	`sha256:5346c46009d54438ecc1b10239e82d85d41f282b9104bc578f34be07330b2468`
logs-ARM_HYP	205 MB	`sha256:24f60b9cd3b0893294db2bb729f05d8c859145e3891de4cb4ede2f1aa25ebef9`
logs-RISCV64	198 MB	`sha256:86f4b7977b2f452c7eb1cb356777e9df99885496b86d1079f0779e4c88aba385`
logs-X64	187 MB	`sha256:b320e11ad91f55ec29149575a2c905c71a407ac2e9fdaac2880d932688c3f56b`