Skip to content

Milestone 4

Milestone 4 #240

Triggered via pull request October 7, 2025 00:37
Status Success
Total duration 12m 20s
Artifacts

covenant.yml

on: pull_request
Check formatting with Ormolu
8s
Check formatting with Ormolu
Check with HLint
12s
Check with HLint
Generate matrix from cabal
5s
Generate matrix from cabal
Check Cabal file with cabal-gild
2m 30s
Check Cabal file with cabal-gild
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Check with HLint: src/Covenant/Test.hs#L979
Suggestion in conformance_Result in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Result = ..." ▫︎ Perhaps: "conformanceResult = ..."
Check with HLint: src/Covenant/Test.hs#L978
Suggestion in conformance_Result in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Result :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceResult :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/Test.hs#L968
Suggestion in conformance_Maybe_SOP in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Maybe_SOP = ..." ▫︎ Perhaps: "conformanceMaybeSOP = ..."
Check with HLint: src/Covenant/Test.hs#L967
Suggestion in conformance_Maybe_SOP in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Maybe_SOP :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceMaybeSOP :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/Test.hs#L965
Suggestion in conformance_OpaqueFoo in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_OpaqueFoo = ..." ▫︎ Perhaps: "conformanceOpaqueFoo = ..."
Check with HLint: src/Covenant/Test.hs#L964
Suggestion in conformance_OpaqueFoo in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_OpaqueFoo :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceOpaqueFoo :: DataDeclaration AbstractTy"
Check with HLint: src/Covenant/Test.hs#L962
Suggestion in conformance_Void in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Void = ..." ▫︎ Perhaps: "conformanceVoid = ..."
Check with HLint: src/Covenant/Test.hs#L961
Suggestion in conformance_Void in module Covenant.Test: Use camelCase ▫︎ Found: "conformance_Void :: DataDeclaration AbstractTy" ▫︎ Perhaps: "conformanceVoid :: DataDeclaration AbstractTy"