Repository Rule SARIF

feat(api)!: make numerical invariants and errors explicit #107

Sign in to view logs

Triggered via pull request July 11, 2026 16:25

acgetchell

synchronize #178

refactor/exact-invariant-proofs

Status Success

Total duration 31s

Artifacts –

semgrep-sarif.yml

on: pull_request

Repository Rule SARIF Analysis