Skip to content

Fix n <= 0 constrained being reported as impossible. #109

Fix n <= 0 constrained being reported as impossible.

Fix n <= 0 constrained being reported as impossible. #109

Triggered via push June 11, 2024 18:10
Status Failure
Total duration 4m 6s
Artifacts

haskell-ci.yml

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

Annotations

7 errors
Haskell-CI - Linux - ghc-8.0.2
Process completed with exit code 1.
Haskell-CI - Linux - ghc-8.6.5
Process completed with exit code 1.
Haskell-CI - Linux - ghc-8.2.2
Process completed with exit code 1.
Haskell-CI - Linux - ghc-8.4.4
Process completed with exit code 1.
Haskell-CI - Linux - ghc-9.0.2
Process completed with exit code 1.
Haskell-CI - Linux - ghc-8.8.4
Process completed with exit code 1.
Haskell-CI - Linux - ghc-8.10.7
Process completed with exit code 1.