Skip to content
Guix/Nix Package Policy

Allow Isabelle verify for trivial goals #89

Sign in to view logs

Allow Isabelle verify for trivial goals

Allow Isabelle verify for trivial goals #89

Triggered via push January 19, 2026 03:10
@hyperpolymathhyperpolymath
pushed 74c0834
main
Status Failure
Total duration 7s
Artifacts –

guix-nix-policy.yml

on: push
check
3s
check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
The action actions/checkout@v4 is not allowed in hyperpolymath/echidna because all actions must be pinned to a full-length commit SHA.