diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-06-22 11:44:41 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-11-28 15:41:00 -0500 |
| commit | 698d3d9648e9cb6b3757269e21ce4fa1692a1a3b (patch) | |
| tree | 1186d8186a7eb4c22258f35630f0ca7087c48528 | |
| parent | e3fd4226a08ac6cd4abe9f25f764e518de66834a (diff) | |
| download | haskell-698d3d9648e9cb6b3757269e21ce4fa1692a1a3b.tar.gz | |
gitlab-ci: Only deploy GitLab Pages in ghc/ghc>
The deployments are quite large and yet are currently only served for
the ghc/ghc> project.
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d700c2f2be..8584ef01c6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1252,7 +1252,9 @@ pages: EOF - cp -f index.html public/doc rules: - - if: '$CI_COMMIT_BRANCH == "master"' + # N.B. only run this on ghc/ghc since the deployed pages are quite large + # and we only serve GitLab Pages for ghc/ghc. + - if: '$CI_COMMIT_BRANCH == "master" && $CI_PROJECT_NAMESPACE == "ghc"' artifacts: paths: - public |