CodeQL Security Analysis

feat: proven safety module — formally verified input validation #176

Sign in to view logs

Triggered via push March 29, 2026 10:32

main

Status Success

Total duration 2m 15s

Artifacts –

codeql.yml

on: push

Matrix: analyze