Skip to content
CI Matrix

Merge pull request #462 from GaloisInc/removeWarnings #1130

Sign in to view logs

Merge pull request #462 from GaloisInc/removeWarnings

Merge pull request #462 from GaloisInc/removeWarnings #1130

Triggered via push February 5, 2025 18:06
@danmatichukdanmatichuk
pushed 448a7bc
master
Status Success
Total duration 1h 51m 50s
Artifacts –

main.yml

on: push
docker
7m 46s
docker
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

30 warnings
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Discovery/PLT.hs#L62
The use of ‘~’ without TypeOperators
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Discovery/PLT.hs#L116
The use of ‘~’ without TypeOperators
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeQueued’
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeActions’
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeDesync’
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/TraceTree.hs#L153
The qualified import of ‘Compat.Aeson’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/TraceTree.hs#L164
The qualified import of ‘System.IO’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Script.hs#L96
The qualified import of ‘System.IO’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Script.hs#L97
The qualified import of ‘Prettyprinter’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Verification/Override.hs#L37
The use of ‘~’ without TypeOperators
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Discovery/PLT.hs#L62
The use of ‘~’ without TypeOperators
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Discovery/PLT.hs#L116
The use of ‘~’ without TypeOperators
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeQueued’
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeActions’
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeDesync’
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/TraceTree.hs#L153
The qualified import of ‘Compat.Aeson’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/TraceTree.hs#L164
The qualified import of ‘System.IO’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Script.hs#L96
The qualified import of ‘System.IO’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Script.hs#L97
The qualified import of ‘Prettyprinter’ is redundant
GHC 9.6.2 on self-hosted pate-ppc: src/Pate/Verification/Override.hs#L37
The use of ‘~’ without TypeOperators
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Demangler.Context’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
Defined but not used: ‘closure_prefix’
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Demangler.Context’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
Defined but not used: ‘closure_prefix’
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Control.Applicative’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘Control.Applicative’ is redundant
GHC 9.6.2 on self-hosted pate-ppc
The import of ‘+, <=’
GHC 9.6.2 on self-hosted pate-ppc
• No explicit implementation for
GHC 9.6.2 on self-hosted pate-ppc
Unhandled instruction definitions for ISA: 18
GHC 9.6.2 on self-hosted pate-ppc
Unhandled instruction definitions for ISA: 18