CodeQL

feat!(api): hide finite and symmetry proofs behind matrix APIs #20

Sign in to view logs

Triggered via pull request June 3, 2026 18:02

acgetchell

synchronize #131

feat/126-internal-finite-proofs

Status Success

Total duration 2m 1s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze