ci: couple of more fixes #139
stevanamain.yaml
on: push
Matrix: arm64-macos-binary
Create release
6s
Annotations
1 error and 10 warnings
|
Create release
Process completed with exit code 2.
|
|
GHC 9.6.6 on macos-15:
src/Spex/Syntax/Type.hs#L47
Defined but not used: ‘ty’
|
|
GHC 9.6.6 on macos-15:
src/Spex/PrettyPrinter.hs#L62
Defined but not used: ‘tys’
|
|
GHC 9.6.6 on macos-15:
src/Spex/Monad.hs#L19
The import of ‘Data.Maybe’ is redundant
|
|
GHC 9.6.6 on macos-15:
src/Spex/Monad.hs#L26
The import of ‘Spex.Verifier.Generator.Env’ is redundant
|
|
GHC 9.6.6 on macos-15:
src/Spex/Monad.hs#L192
Defined but not used: ‘c’
|
|
GHC 9.6.6 on macos-15:
src/Spex/Monad.hs#L192
Pattern match(es) are non-exhaustive
|
|
GHC 9.6.6 on macos-15:
src/Spex/Verifier/Generator.hs#L17
The import of ‘asks’ from module ‘Spex.Monad’ is redundant
|
|
GHC 9.6.6 on macos-15:
src/Spex/Verifier/Generator.hs#L175
Defined but not used: ‘ty’
|
|
GHC 9.6.6 on macos-15:
src/Spex/Verifier/Generator.hs#L176
Defined but not used: ‘ty’
|
|
GHC 9.6.6 on macos-15:
src/Spex/TypeChecker.hs#L20
Defined but not used: ‘pos’
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
spex-arm64-macos
Expired
|
15.9 MB |
|