Skip to content
Repository Rule SARIF

refactor(invariants): simplify finite proof wrappers #28

Sign in to view logs

refactor(invariants): simplify finite proof wrappers

refactor(invariants): simplify finite proof wrappers #28

Triggered via pull request June 3, 2026 21:50
@acgetchellacgetchell
opened #134
refactor/finite-proof-simplification
Status Success
Total duration 22s
Artifacts –

semgrep-sarif.yml

on: pull_request
Repository Rule SARIF Analysis
18s
Repository Rule SARIF Analysis
Fit to window
Zoom out
Zoom in