CodeQL Security Analysis

fix(assail): PA021 Isabelle detector skips prose blocks + antiquotations (closes #43) #270

Sign in to view logs

Triggered via pull request May 26, 2026 10:00

opened #49

fix/isabelle-prose-fp-43

Status Success

Total duration 2m 9s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze