ci: separate out pull into separate step #15
Annotations
1 error and 10 warnings
|
Docker pull
Process completed with exit code 1.
|
|
Build:
src/Spex/Monad.hs#L21
The qualified import of ‘Data.Set’ is redundant
|
|
Build:
src/Spex/Verifier/Generator.hs#L10
The import of ‘Data.Map’ is redundant
|
|
Build:
src/Spex/Verifier/Generator.hs#L12
The import of ‘Data.Set’ is redundant
|
|
Build:
src/Spex/Verifier/Generator.hs#L19
The import of ‘debug’ from module ‘Spex.Monad’ is redundant
|
|
Build:
src/Spex/Verifier/Generator.hs#L138
Defined but not used: ‘ctx’
|
|
Build:
src/Spex/Verifier/Generator.hs#L138
Defined but not used: ‘env’
|
|
Build:
src/Spex/Verifier/Generator.hs#L152
Defined but not used: ‘ctx’
|
|
Build:
src/Spex/Verifier/Generator.hs#L181
Defined but not used: ‘ty’
|
|
Build:
src/Spex/Verifier/Generator.hs#L182
Defined but not used: ‘ty’
|
|
Build:
src/Spex/Verifier.hs#L67
The record update e {genEnv = env'} with type AppEnv is ambiguous.
|
Loading