Proof PR

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

Sign in to view logs

Re-run triggered November 22, 2024 01:48

Xaphiosis

#829

Status Success

Total duration 2h 18m 8s

Artifacts 5

proof.yml

on: pull_request_target

Matrix: All

Artifacts

Produced during runtime

Name	Size
logs-ARM	209 MB
logs-RISCV64	185 MB
logs-X64	175 MB