Document, name ci workflow generation better.

This commit is contained in:
Matthias Fischmann 2021-02-19 22:47:30 +01:00
parent dde893a096
commit 306ef92ddc
No known key found for this signature in database
GPG Key ID: 0DE4AA9C5446EBF4
3 changed files with 10 additions and 0 deletions

10
.github/workflows/ci.sh vendored Executable file
View File

@ -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