Skip to content

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

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

Triggered via pull request November 27, 2024 22:29
@XaphiosisXaphiosis
synchronize #829
Status Cancelled
Total duration 32s
Artifacts

proof.yml

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

Annotations

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