Skip to content
OSSF Scorecard

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (… #223

Sign in to view logs

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (…

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (… #223

Triggered via push May 27, 2026 04:42
@hyperpolymathhyperpolymath
pushed 8ced37b
main
Status Cancelled
Total duration 11m 39s
Artifacts –

scorecard.yml

on: push
analysis
11m 38s
analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
analysis
Canceling since a higher priority waiting request for OSSF Scorecard-refs/heads/main exists
OSSF Scorecard
Canceling since a higher priority waiting request for OSSF Scorecard-refs/heads/main exists