From f490ec9c476515595022363e45d4c2386ca27376 Mon Sep 17 00:00:00 2001
From: Richard Marko <srk@48.io>
Date: Sat, 20 Mar 2021 12:31:28 +0100
Subject: [PATCH] CI: Correct check for dhall-to-yaml in ci.sh

---
 .github/workflows/ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.sh b/.github/workflows/ci.sh
index 7715e63..03fa862 100755
--- a/.github/workflows/ci.sh
+++ b/.github/workflows/ci.sh
@@ -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