CodeQL Security Analysis

docs(proof): correct stale proof-status; disclose axiom dependence (#94) #187

Sign in to view logs

Triggered via push June 29, 2026 13:04

main

Status Success

Total duration 1m 47s

Artifacts –

codeql.yml

on: push

Matrix: analyze