fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #126
hyperpolymathsecret-scanner.yml
on: push
trufflehog
3s
rust-secrets
4s
Annotations
3 errors
|
trufflehog
Unable to resolve action `trufflesecurity/trufflehog@7ee2e0fdffec27d19ccbb8fb3dcf8a83b9d7f9e8`, unable to find version `7ee2e0fdffec27d19ccbb8fb3dcf8a83b9d7f9e8`
|
|
rust-secrets
Process completed with exit code 1.
|
|
rust-secrets
Potential hardcoded secrets detected. Use environment variables instead.
|