CodeQL Security Analysis

docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … #178

Sign in to view logs

Triggered via push May 19, 2026 15:13

main

Status Success

Total duration 3m 46s

Artifacts –

codeql.yml

on: push

Matrix: analyze