diff options
Diffstat (limited to '.gitlab/generate_jobs')
| -rwxr-xr-x | .gitlab/generate_jobs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/generate_jobs b/.gitlab/generate_jobs index 049157e8c3..0df674cceb 100755 --- a/.gitlab/generate_jobs +++ b/.gitlab/generate_jobs @@ -7,7 +7,7 @@ set -euo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" tmp=$(mktemp) -cabal run gen_ci -- $tmp +cabal run gen_ci -- gitlab $tmp rm -f jobs.yaml echo "### THIS IS A GENERATED FILE, DO NOT MODIFY DIRECTLY" > jobs.yaml cat $tmp | jq | tee -a jobs.yaml |