diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-28 10:17:37 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-30 21:21:11 -0500 |
commit | 68eb8877a73e09dd76a26017ec065fb843e843ed (patch) | |
tree | 8db375b1d8a4d04abd5d458eb93c78984459c75d /.gitlab-ci.yml | |
parent | 7619c0b4e55de815de433182057345ec1f4472a3 (diff) | |
download | haskell-68eb8877a73e09dd76a26017ec065fb843e843ed.tar.gz |
gen_ci: Only consider release jobs for job metadata
In particular we do not have a release job for FreeBSD so the generation
of the platform mapping was failing.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8a616a71ad..896b2858e8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -277,6 +277,8 @@ lint-ci-config: - .gitlab/generate_jobs # 1 if .gitlab/generate_jobs changed the output of the generated config - nix shell nixpkgs#git -c git diff --exit-code + # And run this to just make sure that works + - .gitlab/generate_job_metadata dependencies: [] lint-submods: |