Proof PR

Arch-split overhaul for design spec #3001

Sign in to view logs

Re-run triggered August 9, 2024 04:34

corlewis

#809

Status Success

Total duration 2h 49m 15s

Artifacts 7

proof.yml

on: pull_request_target

Matrix: All

Artifacts

Produced during runtime

Name	Size
logs-X64 Expired	175 MB