CI

support alignment ops when processing statements in `RegisterUse` #791

Sign in to view logs

Triggered via push July 24, 2024 16:59

Ptival

vr/register-use-bvand

Status Success

Total duration 38m 47s

Artifacts –

ci.yaml

on: push

Matrix: build-linux

Annotations

3 warnings

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