Skip to content
Code Coverage

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud… #96

Sign in to view logs

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud…

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud… #96

Triggered via push March 30, 2026 12:29
@hyperpolymathhyperpolymath
pushed 349e4ba
main
Status Failure
Total duration 21m 16s
Artifacts –

coverage.yml

on: push
Generate Coverage Report
2m 30s
Generate Coverage Report
Fit to window
Zoom out
Zoom in

Annotations

1 error
Generate Coverage Report
Process completed with exit code 101.