Skip to content
CI

Merge pull request #450 from GaloisInc/449-git-urls #917

Sign in to view logs

Merge pull request #450 from GaloisInc/449-git-urls

Merge pull request #450 from GaloisInc/449-git-urls #917

Triggered via push November 4, 2024 18:48
@sauclovian-gsauclovian-g
pushed f65a72d
master
Status Success
Total duration 1h 23m 4s
Artifacts –

ci.yaml

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

Annotations

94 warnings
Macaw - GHC v9.8.2
The import of ‘Control.Applicative’ is redundant
Macaw - GHC v9.8.2
The import of ‘+, <=’
Macaw - GHC v9.8.2
The import of ‘+, <=’
Macaw - GHC v9.8.2
• No explicit implementation for
Macaw - GHC v9.8.2
• No explicit implementation for
Macaw - GHC v9.8.2
Unhandled instruction definitions for ISA: 18
Macaw - GHC v9.8.2
In the use of ‘head’
Macaw - GHC v9.8.2
The import of ‘Data.String’ is redundant
Macaw - GHC v9.8.2
The qualified import of ‘Data.BitVector.Sized’ is redundant
Macaw - GHC v9.8.2
The qualified import of ‘Data.ByteString.Lazy’ is redundant
Macaw - GHC v9.8.2
Pattern match is redundant
Macaw - GHC v9.8.2
Orphan family instance:
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.8.2
Pattern match(es) are non-exhaustive
Macaw - GHC v9.8.2
• No explicit implementation for
Macaw - GHC v9.8.2
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.8.2
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.8.2
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.8.2
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.8.2
In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.8.2
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.8.2
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.8.2
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.6
The import of ‘Control.Applicative’ is redundant
Macaw - GHC v9.6.6
The import of ‘+, <=’
Macaw - GHC v9.6.6
The import of ‘+, <=’
Macaw - GHC v9.6.6
• No explicit implementation for
Macaw - GHC v9.6.6
• No explicit implementation for
Macaw - GHC v9.6.6
Unhandled instruction definitions for ISA: 18
Macaw - GHC v9.6.6
The import of ‘Data.String’ is redundant
Macaw - GHC v9.6.6
The qualified import of ‘Data.BitVector.Sized’ is redundant
Macaw - GHC v9.6.6
The qualified import of ‘Data.ByteString.Lazy’ is redundant
Macaw - GHC v9.6.6
The import of ‘Data.Monoid’ is redundant
Macaw - GHC v9.6.6
Pattern match(es) are non-exhaustive
Macaw - GHC v9.6.6
• No explicit implementation for
Macaw - GHC v9.6.6
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.6.6
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.6.6
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.6.6
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.6
In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.6
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.6.6
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.6
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.6
Pattern match is redundant
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.6.6
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Pattern match(es) are non-exhaustive
Macaw - GHC v9.4.8
• No explicit implementation for
Macaw - GHC v9.4.8
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.4.8
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.4.8
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.4.8
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.4.8
In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.4.8
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.4.8
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.4.8
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.4.8
The import of ‘+, <=’
Macaw - GHC v9.4.8
The import of ‘+, <=’
Macaw - GHC v9.4.8
• No explicit implementation for
Macaw - GHC v9.4.8
• No explicit implementation for
Macaw - GHC v9.4.8
Unhandled instruction definitions for ISA: 18
Macaw - GHC v9.4.8
The import of ‘Data.String’ is redundant
Macaw - GHC v9.4.8
The qualified import of ‘Data.BitVector.Sized’ is redundant
Macaw - GHC v9.4.8
The qualified import of ‘Data.ByteString.Lazy’ is redundant
Macaw - GHC v9.4.8
The import of ‘Data.Monoid’ is redundant
Macaw - GHC v9.4.8
The import of ‘Data.Parameterized.List’ is redundant
Macaw - GHC v9.4.8
Pattern match is redundant
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
Macaw - GHC v9.4.8
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’