Skip to content
.github/workflows/secret-scanner.yml

docs(proof): add modshells PROOF-NEEDS with SPARK no-op exemption #158

Sign in to view logs

docs(proof): add modshells PROOF-NEEDS with SPARK no-op exemption

docs(proof): add modshells PROOF-NEEDS with SPARK no-op exemption #158

Triggered via push May 19, 2026 12:49
@hyperpolymathhyperpolymath
pushed 1b588e7
docs/spark-noop-exemption
Status Failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/secret-scanner.yml#L1
(Line: 48, Col: 9): Unrecognized function: 'hashFiles'. Located at position 1 within expression: hashFiles('**/Cargo.toml') != ''