Skip to content
Build (cabal)

save #6

Sign in to view logs

save

save #6

Triggered via push April 7, 2024 05:29
@JobPetrovcicJobPetrovcic
pushed 055f17c
master
Status Failure
Total duration 14m 39s
Artifacts –

cabal.yml

on: push
auto-cancel
4s
auto-cancel
Matrix: cabal
Fit to window
Zoom out
Zoom in

Annotations

26 errors
Cabal Linux doctest, 9.8.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux doctest, 9.8.2
Process completed with exit code 1.
Cabal Linux debug, 9.8.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux debug, 9.8.2
Process completed with exit code 1.
Cabal Linux, 9.6.4: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 9.6.4
Process completed with exit code 1.
Cabal Linux, 9.4.8: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 9.4.8
Process completed with exit code 1.
Cabal Linux, 8.6.5: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 8.6.5
Process completed with exit code 1.
Cabal Linux, 9.2.8: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 9.2.8
Process completed with exit code 1.
Cabal Linux, 9.0.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 9.0.2
Process completed with exit code 1.
Cabal Linux, 9.8.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 9.8.2
Process completed with exit code 1.
Cabal Linux, 8.8.4: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 8.8.4
Process completed with exit code 1.
Cabal Linux, 8.10.7: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux, 8.10.7
Process completed with exit code 1.
Cabal Linux containers 0.7, 9.8.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Linux containers 0.7, 9.8.2
Process completed with exit code 1.
Cabal macOS, 9.8.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal macOS, 9.8.2
Process completed with exit code 1.
Cabal Windows, 9.8.2: src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
Cabal Windows, 9.8.2
Process completed with exit code 1.