CodeQL Security Analysis

fix(assail): PA021 Isabelle detector skips prose blocks + antiquotati… #274

Sign in to view logs

Triggered via push May 26, 2026 10:07

main

Status Success

Total duration 1m 0s

Artifacts –

codeql.yml

on: push

Matrix: analyze