Skip to content
CI

macaw-{ppc,riscv}-symbolic: Move S definition above functions that us… #796

Sign in to view logs

macaw-{ppc,riscv}-symbolic: Move S definition above functions that us…

macaw-{ppc,riscv}-symbolic: Move S definition above functions that us… #796

Triggered via push July 26, 2024 19:04
@RyanGlScottRyanGlScott
pushed 5ee37cf
T409-macaw-riscv-symbolic
Status Success
Total duration 13m 49s
Artifacts –

ci.yaml

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

Annotations

3 warnings
Macaw - GHC v9.4.8
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant
Macaw - GHC v9.2.8
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant
Macaw - GHC v9.6.5
The qualified import of ‘What4.InterpretedFloatingPoint’ is redundant