CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request May 26, 2026 10:02

synchronize #49

fix/isabelle-prose-fp-43

Status Success

Total duration 1m 36s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze