Skip to content

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

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 #3062

Triggered via pull request November 21, 2024 19:06
@XaphiosisXaphiosis
opened #829
Status Cancelled
Total duration 5m 35s
Artifacts

proof.yml

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

Annotations

10 errors
All (ARM)
The run was canceled by @Xaphiosis.
All (ARM)
The operation was canceled.
All (ARM_HYP)
The run was canceled by @Xaphiosis.
All (ARM_HYP)
The operation was canceled.
All (X64)
The run was canceled by @Xaphiosis.
All (X64)
The operation was canceled.
All (AARCH64)
The run was canceled by @Xaphiosis.
All (AARCH64)
The operation was canceled.
All (RISCV64)
The run was canceled by @Xaphiosis.
All (RISCV64)
The operation was canceled.