Skip to content

Use a partial sort for the partial ordering #36

Use a partial sort for the partial ordering

Use a partial sort for the partial ordering #36

Triggered via pull request December 5, 2024 10:08
Status Failure
Total duration 52s
Artifacts 1

hs.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 3 warnings
build
Could not load module ‘Data.Vector.Generic’.
build
Could not load module ‘Data.Vector.Generic’.
build
Could not load module ‘Data.Vector.Generic.Mutable’.
build
Could not load module ‘Data.Vector.Unboxed’.
build
Process completed with exit code 1.
get-inputs / build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
inputs
31.7 KB