Skip to content
CodeQL Security Analysis

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49) #290

Sign in to view logs

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49)

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49) #290

Triggered via pull request May 26, 2026 14:09
@hyperpolymathhyperpolymath
opened #65
fix/isabelle-cartouche-utf8-boundary
Status Success
Total duration 5h 16m 4s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in