CodeQL Security Analysis

feat(proofs): complete CNO + OND pillars, verified across six provers #201

Sign in to view logs

Triggered via pull request July 6, 2026 23:17

synchronize #100

worktree-cno-ond-completion

Status Success

Total duration 34m 55s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze

Annotations

1 warning

analyze (javascript-typescript, none)

Error retrieving diff main...hyperpolymath:worktree-cno-ond-completion: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits