CodeQL Security Analysis

chore(debt): record the outstanding-proofs inventory at 2026-06-14 #87

Sign in to view logs

Triggered via pull request June 14, 2026 12:42

opened #217

claude/quirky-gauss-GaGZo

Status Success

Total duration 1m 5s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze