Skip to content

lib: Requalify: better document annotation #3014

lib: Requalify: better document annotation

lib: Requalify: better document annotation #3014

Triggered via pull request August 27, 2024 10:08
@XaphiosisXaphiosis
synchronize #813
Status Success
Total duration 3h 5m 6s
Artifacts 7

proof.yml

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

Artifacts

Produced during runtime
Name Size
kernel-builds-ARM
1.53 MB
kernel-builds-RISCV64
1.23 MB
logs-AARCH64
154 MB
logs-ARM
209 MB
logs-ARM_HYP
192 MB
logs-RISCV64
185 MB
logs-X64
175 MB