CodeQL Security Analysis

proof(ordinal): unbudgeted sound-carrier recursive surface wf-<ᵇʳᶠ² #78

Sign in to view logs

Triggered via pull request June 14, 2026 10:22

opened #212

claude/quirky-gauss-GaGZo

Status Success

Total duration 49s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze