Skip to content

Remove unused lookup and reader_option definitions #2736

Remove unused lookup and reader_option definitions

Remove unused lookup and reader_option definitions #2736

Triggered via pull request February 28, 2024 23:05
@corlewiscorlewis
opened #725
Status Success
Total duration 3h 44m 25s
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 Expired
1.53 MB
kernel-builds-RISCV64 Expired
1.23 MB
logs-AARCH64 Expired
136 MB
logs-ARM Expired
204 MB
logs-ARM_HYP Expired
187 MB
logs-RISCV64 Expired
180 MB
logs-X64 Expired
170 MB