Skip to content

Update arch-split doc; rename arch_split->arch-split #2982

Update arch-split doc; rename arch_split->arch-split

Update arch-split doc; rename arch_split->arch-split #2982

Triggered via pull request July 25, 2024 05:10
@XaphiosisXaphiosis
synchronize #801
Status Success
Total duration 16m 6s
Artifacts 5

proof.yml

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

Artifacts

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