| 123456789101112131415161718 |
- language: generic
- install:
- - wget https://github.com/dhall-lang/dhall-haskell/releases/download/1.27.0/dhall-1.27.0-x86_64-linux.tar.bz2
- - tar xvf dhall-1.27.0-x86_64-linux.tar.bz2
- - sudo mv ./bin/dhall /usr/local/bin/dhall
- script:
- - |
- set -euo pipefail
- for f in $(find . -name '*.dhall'); do
- echo "Checking $f"
- dhall type --quiet --file $f
- done
- set +u
|
