Merge pull request #382 from sorki/fix/ci.sh

CI: Correct check for dhall-to-yaml in ci.sh
This commit is contained in:
Julia Longtin 2021-03-20 23:43:47 +00:00 committed by GitHub
commit b77993656e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,5 +6,5 @@ cd "$( dirname "${BASH_SOURCE[0]}" )"
echo "regenerating .github/workflows/ci.yaml..."
# based on https://github.com/vmchale/github-actions-dhall
test -x $HOME/.cabal/bin/yaml-to-dhall || cabal install dhall-yaml
which dhall-to-yaml || cabal install dhall-yaml
dhall-to-yaml --file ci.dhall > ci.yaml