Skip to content
Lean Proofs

fix(ci): the invisible-character gate never matched anything #115

Sign in to view logs

fix(ci): the invisible-character gate never matched anything

fix(ci): the invisible-character gate never matched anything #115

Triggered via pull request September 4, 2026 17:44
@hyperpolymathhyperpolymath
synchronize #93
fix/empty-linter-pattern-never-matched
Status Failure
Total duration 8s
Artifacts –

lean.yml

on: pull_request
Build Lean metatheory (lake build)
3s
Build Lean metatheory (lake build)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Lean metatheory (lake build)
The action actions/cache/restore@v5 is not allowed in hyperpolymath/phronesis because all actions must be pinned to a full-length commit SHA.