Skip to content

Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 #3069

Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64

Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 #3069

Triggered via pull request November 29, 2024 04:25
@XaphiosisXaphiosis
synchronize #829
Status Success
Total duration 2h 14m 35s
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
154 MB
logs-ARM
209 MB
logs-ARM_HYP
192 MB
logs-RISCV64
185 MB
logs-X64
175 MB