Skip to content
formal-verification

Fix correctness findings from penpal testing #1792

Sign in to view logs

Fix correctness findings from penpal testing

Fix correctness findings from penpal testing #1792

Triggered via pull request May 8, 2026 20:46
@prasdenprasden
synchronize #3235
prasden:penpal-correctness-fixes
Status Success
Total duration 36m 23s
Artifacts –

formal-verification.yml

on: pull_request
define_matrix
9s
define_matrix
Matrix: formal_verification
Fit to window
Zoom out
Zoom in