CI: Correct check for dhall-to-yaml in ci.sh

This commit is contained in:
Richard Marko 2021-03-20 12:31:28 +01:00
parent b0e6c3169f
commit f490ec9c47

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