diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-02 12:39:01 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2022-05-18 11:16:59 -0400 |
| commit | 03362f75e46cdb9a50758543448b0d54b5107fd5 (patch) | |
| tree | 12820b536d4afd6ee8271dfdfd98f0410db75778 | |
| parent | de0d13e4815e641c23fee5dbcb4b6ca6723c52d0 (diff) | |
| download | haskell-03362f75e46cdb9a50758543448b0d54b5107fd5.tar.gz | |
ci: Add job to check that jobs.yaml is up-to-date
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.
(cherry picked from commit aacb15a3d68216cac0729e15d708be2f13b0eae8)
| -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 4b9a7db539..8b33043e8d 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 |