Skip to content

ci: try explicit pull again #14

ci: try explicit pull again

ci: try explicit pull again #14

Triggered via push October 21, 2024 15:42
Status Failure
Total duration 2m 39s
Artifacts

main.yaml

on: push
Matrix: build-and-deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
GHC 9.6.6 on ubuntu-24.04
Process completed with exit code 1.
GHC 9.6.6 on ubuntu-24.04: src/Spex/Monad.hs#L21
The qualified import of ‘Data.Set’ is redundant
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L10
The import of ‘Data.Map’ is redundant
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L12
The import of ‘Data.Set’ is redundant
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L19
The import of ‘debug’ from module ‘Spex.Monad’ is redundant
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L138
Defined but not used: ‘ctx’
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L138
Defined but not used: ‘env’
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L152
Defined but not used: ‘ctx’
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L181
Defined but not used: ‘ty’
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier/Generator.hs#L182
Defined but not used: ‘ty’
GHC 9.6.6 on ubuntu-24.04: src/Spex/Verifier.hs#L67
The record update e {genEnv = env'} with type AppEnv is ambiguous.