Skip to content

Record all copyright owners (#757) #277

Record all copyright owners (#757)

Record all copyright owners (#757) #277

Triggered via push July 8, 2023 16:19
Status Success
Total duration 46m 49s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: CI
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
CI (ubuntu-latest, 8.10.7): src/HIndent/Pretty.hs#L2384
Pattern match(es) are non-exhaustive
CI (windows-latest, 8.10.7): src/HIndent/Pretty.hs#L2384
Pattern match(es) are non-exhaustive
CI (macos-latest, 8.10.7): src/HIndent/Pretty.hs#L2384
Pattern match(es) are non-exhaustive