Skip to content

chore: fix gitignore to exclude build artifacts in subdirectories #2

chore: fix gitignore to exclude build artifacts in subdirectories

chore: fix gitignore to exclude build artifacts in subdirectories #2

Triggered via push January 29, 2026 22:29
Status Failure
Total duration 49s
Artifacts

validation.yml

on: push
validate-correspondence
45s
validate-correspondence
verify-proofs
verify-proofs
property-testing
20s
property-testing
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
property-testing
Process completed with exit code 101.
validate-correspondence
Process completed with exit code 1.
validate-correspondence
No files were found with the provided path: validation-report.md. No artifacts will be uploaded.