Skip to content

Merge pull request #2 from serokell/diogo/OverloadedRecordDot #99

Merge pull request #2 from serokell/diogo/OverloadedRecordDot

Merge pull request #2 from serokell/diogo/OverloadedRecordDot #99

Triggered via push September 25, 2023 15:39
Status Success
Total duration 22m 10s
Artifacts

ci.yml

on: push
Verify cross references
9s
Verify cross references
reuse
11s
reuse
hlint
5s
hlint
stylish
8s
stylish
Find Trailing Whitespace
10s
Find Trailing Whitespace
Matrix: cabal
Matrix: stack
Fit to window
Zoom out
Zoom in