diff --git a/ci.dhall b/.github/workflows/ci.dhall
similarity index 100%
rename from ci.dhall
rename to .github/workflows/ci.dhall
diff --git a/.github/workflows/ci.sh b/.github/workflows/ci.sh
new file mode 100755
index 0000000..7715e63
--- /dev/null
+++ b/.github/workflows/ci.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+set -eo pipefail
+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
+dhall-to-yaml --file ci.dhall > ci.yaml
diff --git a/.github/workflows/implicit.yaml b/.github/workflows/ci.yaml
similarity index 100%
rename from .github/workflows/implicit.yaml
rename to .github/workflows/ci.yaml