ci: remove double quotes around string · spex-lang/spex@e02bd20

Triggered via push November 2, 2024 12:12

stevana

main

Status Success

Total duration 10m 38s

Artifacts 1

main.yaml

on: push

Matrix: arm64-macos-binary

10 warnings

GHC 9.6.6 on macos-15: src/Spex/Syntax/Type.hs#L47

Defined but not used: ‘ty’

GHC 9.6.6 on macos-15: src/Spex/PrettyPrinter.hs#L62

Defined but not used: ‘tys’

GHC 9.6.6 on macos-15: src/Spex/Monad.hs#L19

The import of ‘Data.Maybe’ is redundant

GHC 9.6.6 on macos-15: src/Spex/Monad.hs#L26

The import of ‘Spex.Verifier.Generator.Env’ is redundant

GHC 9.6.6 on macos-15: src/Spex/Monad.hs#L192

Defined but not used: ‘c’

GHC 9.6.6 on macos-15: src/Spex/Monad.hs#L192

Pattern match(es) are non-exhaustive

GHC 9.6.6 on macos-15: src/Spex/Verifier/Generator.hs#L17

The import of ‘asks’ from module ‘Spex.Monad’ is redundant

GHC 9.6.6 on macos-15: src/Spex/Verifier/Generator.hs#L175

Defined but not used: ‘ty’

GHC 9.6.6 on macos-15: src/Spex/Verifier/Generator.hs#L176

Defined but not used: ‘ty’

GHC 9.6.6 on macos-15: src/Spex/TypeChecker.hs#L20

Defined but not used: ‘pos’

Produced during runtime

Name	Size
spex-arm64-macos Expired	15.9 MB