diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-02 12:39:01 +0100 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-05 09:17:09 +0100 |
| commit | a8b3ea09e27f4031e7ce1b12f4130a725b44ec08 (patch) | |
| tree | 2b0dedd1f314ce5f611778e26ae01a618c9947bf | |
| parent | 27f9aab340ab9be8c2018e8f3c71c9c18337428b (diff) | |
| download | haskell-a8b3ea09e27f4031e7ce1b12f4130a725b44ec08.tar.gz | |
ci: Add job to check that jobs.yaml is up-to-datewip/gen_jobs_ci
There have been quite a few situations where jobs.yaml has been out of
date. It's better to add a CI job which checks that it's right.
We don't want to use a staged pipeline because it obfuscates the
structure of the pipeline.
| -rw-r--r-- | .gitlab-ci.yml | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 57535cd2b7..957259619c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -250,6 +250,28 @@ lint-author: - if: $CI_MERGE_REQUEST_ID - *drafts-can-fail-lint +lint-ci-config: + image: "nixos/nix:2.8.0" + extends: .lint + variables: + BUILD_FLAVOUR: default + before_script: + - mkdir -p ~/.cabal + - cp -Rf cabal-cache/* ~/.cabal || true + script: + - nix shell --extra-experimental-features nix-command --extra-experimental-features flakes nixpkgs#cabal-install -c cabal update + - .gitlab/generate_jobs + # 1 if .gitlab/generate_jobs changed the output of the generated config + - nix shell --extra-experimental-features nix-command --extra-experimental-features flakes nixpkgs#git -c git diff --exit-code + after_script: + - rm -Rf cabal-cache + - cp -Rf ~/.cabal cabal-cache + dependencies: [] + cache: + key: lint-ci-$CACHE_REV + paths: + - cabal-cache + lint-submods: extends: .lint-submods # Allow failure on merge requests since any necessary submodule patches may |