Skip to content

Merge pull request #446 from GaloisInc/lb/translate-cli #930

Merge pull request #446 from GaloisInc/lb/translate-cli

Merge pull request #446 from GaloisInc/lb/translate-cli #930

Triggered via push November 13, 2024 21:43
Status Failure
Total duration 1h 35m 4s
Artifacts

ci.yaml

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

Annotations

2 errors and 94 warnings
Macaw - GHC v9.6.6
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
Macaw - GHC v9.6.6
The self-hosted runner: github-runner-stardust-macaw-4mj6k-ssnds lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
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.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’
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’