Deploy #2
Triggered via workflow run
April 7, 2024 05:40
JobPetrovcic
completed
055f17c
Status
Failure
Total duration
17m 22s
Artifacts
–
Annotations
6 errors
build (9.4.7, ubuntu-20.04):
src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
|
build (9.4.7, ubuntu-20.04)
Process completed with exit code 1.
|
build (9.8, windows-latest):
src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
|
build (9.8, windows-latest)
Process completed with exit code 1.
|
build (9.8, macos-latest):
src/full/Agda/TypeChecking/Monad/Options.hs#L223
Empty list of alternatives in case expression
|
build (9.8, macos-latest)
Process completed with exit code 1.
|