CodeQL Security Analysis

chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI #205

Sign in to view logs

Triggered via pull request July 7, 2026 05:31

opened #102

descriptiles-ci

Status Success

Total duration 48s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze