feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply · hyperpolymath/panic-attack@da1ae55

Triggered via pull request November 10, 2026 02:00

synchronize #278

Status Success

Total duration 1m 42s

Artifacts 1

cargo-audit.yml

on: pull_request

1 notice

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Produced during runtime

Name	Size	Digest
cargo-audit	1.53 KB	`sha256:cf70896849233f4415971ce347958f84a77cbdc9424bc78d8c22204fea8ad87e`