diff options
Diffstat (limited to '.gitlab/generate_jobs')
-rwxr-xr-x | .gitlab/generate_jobs | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.gitlab/generate_jobs b/.gitlab/generate_jobs index 863ff37670..049157e8c3 100755 --- a/.gitlab/generate_jobs +++ b/.gitlab/generate_jobs @@ -1,9 +1,13 @@ -#! /usr/bin/env nix-shell -#! nix-shell -i bash -p cabal-install ghc jq +#!/usr/bin/env nix-shell +#!nix-shell -i bash -p cabal-install "haskell.packages.ghc924.ghcWithPackages (pkgs: with pkgs; [aeson])" git jq + +# shellcheck shell=bash + +set -euo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" tmp=$(mktemp) -./gen_ci.hs $tmp +cabal run gen_ci -- $tmp rm -f jobs.yaml echo "### THIS IS A GENERATED FILE, DO NOT MODIFY DIRECTLY" > jobs.yaml cat $tmp | jq | tee -a jobs.yaml |