Proof PR

Some more rules for `Lib` #2719

Sign in to view logs

Re-run triggered February 22, 2024 00:20

michaelmcinerney

#720

Status Success

Total duration 3h 30m 33s

Artifacts 7

proof.yml

on: pull_request_target

Matrix: All

Artifacts

Produced during runtime

Name	Size
logs-X64 Expired	170 MB