Skip to content
CI

Merge pull request #404 from GaloisInc/vr/expose-memInt #787

Sign in to view logs

Merge pull request #404 from GaloisInc/vr/expose-memInt

Merge pull request #404 from GaloisInc/vr/expose-memInt #787

Triggered via push July 23, 2024 23:57
@PtivalPtival
pushed 4b38285
master
Status Success
Total duration 2h 4m 12s
Artifacts –

ci.yaml

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

Annotations

7 warnings
Macaw - GHC v9.4.8
Pattern match is redundant
Macaw - GHC v9.4.8
• No explicit implementation for
Macaw - GHC v9.6.5
• No explicit implementation for
Macaw - GHC v9.6.5
Pattern match is redundant
Macaw - GHC v9.2.8
• No explicit implementation for
Macaw - GHC v9.2.8
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant
Macaw - GHC v9.2.8
Pattern match is redundant