Skip to content
CI

Use Crucible goal-proving helpers in testing code #776

Sign in to view logs

Use Crucible goal-proving helpers in testing code

Use Crucible goal-proving helpers in testing code #776

Triggered via push July 16, 2024 17:22
@langston-barrettlangston-barrett
pushed 975bc76
lb/prove-goals
Status Success
Total duration 50m 47s
Artifacts –

ci.yaml

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

Annotations

33 warnings
Macaw - GHC v9.6.5
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.6.5
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.6.5
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.6.5
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.5
In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.5
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.6.5
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.5
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.5
In the use of ‘parens’
Macaw - GHC v9.6.5
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.6.5
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant
Macaw - GHC v9.2.8
Pattern match(es) are non-exhaustive
Macaw - GHC v9.2.8
• No explicit implementation for
Macaw - GHC v9.2.8
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.2.8
Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:
Macaw - GHC v9.2.8
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.2.8
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.2.8
In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.2.8
In the use of type constructor or class ‘Doc’
Macaw - GHC v9.2.8
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.2.8
In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.2.8
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant
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
In the use of ‘parens’
Macaw - GHC v9.4.8
In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):
Macaw - GHC v9.4.8
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant