Skip to content
main

ci: again #184

Sign in to view logs

ci: again

ci: again #184

Triggered via push November 4, 2024 13:00
@stevanastevana
pushed 88640de
main
Status Success
Total duration 9m 47s
Artifacts 3

main.yaml

on: push
Matrix: build
Create release
39s
Create release
Fit to window
Zoom out
Zoom in

Annotations

21 warnings
Build on macos-15 using GHC 9.6.6: src/Spex/Syntax/Type.hs#L47
Defined but not used: ‘ty’
Build on macos-15 using GHC 9.6.6: src/Spex/PrettyPrinter.hs#L62
Defined but not used: ‘tys’
Build on macos-15 using GHC 9.6.6: src/Spex/Monad.hs#L19
The import of ‘Data.Maybe’ is redundant
Build on macos-15 using GHC 9.6.6: src/Spex/Monad.hs#L26
The import of ‘Spex.Verifier.Generator.Env’ is redundant
Build on macos-15 using GHC 9.6.6: src/Spex/Monad.hs#L192
Defined but not used: ‘c’
Build on macos-15 using GHC 9.6.6: src/Spex/Monad.hs#L192
Pattern match(es) are non-exhaustive
Build on macos-15 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L17
The import of ‘asks’ from module ‘Spex.Monad’ is redundant
Build on macos-15 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L175
Defined but not used: ‘ty’
Build on macos-15 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L176
Defined but not used: ‘ty’
Build on macos-15 using GHC 9.6.6: src/Spex/TypeChecker.hs#L20
Defined but not used: ‘pos’
Build on windows-2022 using GHC 9.6.6: src/Spex/Syntax/Type.hs#L47
Defined but not used: ‘ty’
Build on windows-2022 using GHC 9.6.6: src/Spex/PrettyPrinter.hs#L62
Defined but not used: ‘tys’
Build on windows-2022 using GHC 9.6.6: src/Spex/Monad.hs#L19
The import of ‘Data.Maybe’ is redundant
Build on windows-2022 using GHC 9.6.6: src/Spex/Monad.hs#L26
The import of ‘Spex.Verifier.Generator.Env’ is redundant
Build on windows-2022 using GHC 9.6.6: src/Spex/Monad.hs#L192
Defined but not used: ‘c’
Build on windows-2022 using GHC 9.6.6: src/Spex/Monad.hs#L192
Pattern match(es) are non-exhaustive
Build on windows-2022 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L17
The import of ‘asks’ from module ‘Spex.Monad’ is redundant
Build on windows-2022 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L175
Defined but not used: ‘ty’
Build on windows-2022 using GHC 9.6.6: src/Spex/Verifier/Generator.hs#L176
Defined but not used: ‘ty’
Build on windows-2022 using GHC 9.6.6: src/Spex/TypeChecker.hs#L20
Defined but not used: ‘pos’
Build on ubuntu-24.04 using GHC 9.6.6
Cache save failed.

Artifacts

Produced during runtime
Name Size
arm64-macos Expired
24.9 MB
x86_64-linux Expired
14.4 MB
x86_64-windows Expired
18.9 MB