diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-06-22 11:44:41 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2020-10-31 19:51:53 -0400 |
| commit | b2fb38bcdbc9dbe3f46e9aa6cff1be04106f93f3 (patch) | |
| tree | 4a8c8821b660af5878c95bfb8c7a7f11259590ce | |
| parent | eb368078204bceba51e3c80e387ce1d776762cfd (diff) | |
| download | haskell-wip/restrict-pages.tar.gz | |
gitlab-ci: Only deploy GitLab Pages in ghc/ghc>wip/restrict-pages
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 cea5f46c4f..5da5c309cc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1171,7 +1171,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 |