Skip to content

Merge branch 'main' into claude/add-academic-proofs-Bo51p #7

Merge branch 'main' into claude/add-academic-proofs-Bo51p

Merge branch 'main' into claude/add-academic-proofs-Bo51p #7

Triggered via push December 31, 2025 13:54
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: 40, Col: 9): Unrecognized function: 'hashFiles'. Located at position 1 within expression: hashFiles('**/Cargo.toml') != ''