Skip to content
main

fix: add overloaded strings #244

Sign in to view logs

fix: add overloaded strings

fix: add overloaded strings #244

Triggered via push November 25, 2024 16:46
@stevanastevana
pushed 9a2df20
main
Status Success
Total duration 5m 39s
Artifacts –

main.yaml

on: push
Matrix: build
Create release
0s
Create release
Smoke test container image
0s
Smoke test container image
Matrix: smoke-test
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
Build on windows-2022 using GHC 9.6.6: src/Spex/Syntax/Type.hs#L43
Defined but not used: ‘ty’
Build on windows-2022 using GHC 9.6.6: src/Spex/PrettyPrinter.hs#L95
Defined but not used: ‘tys’
Build on windows-2022 using GHC 9.6.6: src/Spex/PrettyPrinter.hs#L127
Defined but not used: ‘vs’
Build on windows-2022 using GHC 9.6.6: src/Spex/TypeChecker.hs#L22
Defined but not used: ‘pos’
Build on windows-2022 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L124
Defined but not used: ‘ty’
Build on windows-2022 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L125
Defined but not used: ‘ty’
Build on windows-2022 using GHC 9.6.6: src/Spex/Mock.hs#L97
Defined but not used: ‘i’
Build on windows-2022 using GHC 9.6.6: src/Spex/Mock.hs#L100
Defined but not used: ‘i’
Build on macos-15 using GHC 9.6.6: src/Spex/Syntax/Type.hs#L43
Defined but not used: ‘ty’
Build on macos-15 using GHC 9.6.6: src/Spex/PrettyPrinter.hs#L95
Defined but not used: ‘tys’
Build on macos-15 using GHC 9.6.6: src/Spex/PrettyPrinter.hs#L127
Defined but not used: ‘vs’
Build on macos-15 using GHC 9.6.6: src/Spex/TypeChecker.hs#L22
Defined but not used: ‘pos’
Build on macos-15 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L124
Defined but not used: ‘ty’
Build on macos-15 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L125
Defined but not used: ‘ty’
Build on macos-15 using GHC 9.6.6: src/Spex/Mock.hs#L97
Defined but not used: ‘i’
Build on macos-15 using GHC 9.6.6: src/Spex/Mock.hs#L100
Defined but not used: ‘i’