ImplicitCAD/.github/workflows/ci.sh

#!/usr/bin/env bash
# Script by @fisx

set -eo pipefail

# cd into the dir where this script is placed
cd "$( dirname "${BASH_SOURCE[0]}" )"

echo "regenerating .github/workflows/ci.yaml"

which dhall-to-yaml-ng || cabal install dhall-yaml
dhall-to-yaml-ng --generated-comment --file ci.dhall > ci.yaml
Document, name ci workflow generation better. 2021-02-20 00:47:30 +03:00			`#!/usr/bin/env bash`
Update CI 2023-11-12 12:59:24 +03:00			`# Script by @fisx`
Document, name ci workflow generation better. 2021-02-20 00:47:30 +03:00
			`set -eo pipefail`
Update CI 2023-11-12 12:59:24 +03:00
			`# cd into the dir where this script is placed`
Document, name ci workflow generation better. 2021-02-20 00:47:30 +03:00			`cd "$( dirname "${BASH_SOURCE[0]}" )"`

Update CI 2023-11-12 12:59:24 +03:00			`echo "regenerating .github/workflows/ci.yaml"`
Document, name ci workflow generation better. 2021-02-20 00:47:30 +03:00
Update CI 2023-11-12 12:59:24 +03:00			`which dhall-to-yaml-ng \|\| cabal install dhall-yaml`
			`dhall-to-yaml-ng --generated-comment --file ci.dhall > ci.yaml`