Allow Isabelle verify for trivial goals #86
hyperpolymathAnnotations
1 error
|
antipattern-check
The action actions/checkout@v4 is not allowed in hyperpolymath/echidna because all actions must be pinned to a full-length commit SHA.
|