diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-09-18 12:29:22 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-25 21:12:08 -0400 |
| commit | 0d6519d9e8604d067f4a4f760e4bc3403727a498 (patch) | |
| tree | 2f291d28377aa9efafd72866b7bce72dde66cc93 /.gitlab-ci.yml | |
| parent | 29885f076219d878d2c976e78b7960a1a5938a96 (diff) | |
| download | haskell-0d6519d9e8604d067f4a4f760e4bc3403727a498.tar.gz | |
gitlab-ci: Drop Darwin cleanup job
We now have a proper periodic clean-up script installed on the runners.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2e925708e1..a8fd87d23f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,7 +21,6 @@ stages: - quick-build # A very quick smoke-test to weed out broken commits - build # A quick smoke-test to weed out broken commits - full-build # Build all the things - - cleanup # See Note [Cleanup after the shell executor] - packaging # Source distribution, etc. - testing # head.hackage correctness and compiler performance testing - deploy # push documentation @@ -923,44 +922,6 @@ release-x86_64-windows-integer-simple: BIGNUM_BACKEND: native BUILD_FLAVOUR: "perf" -############################################################ -# Cleanup -############################################################ - -# Note [Cleaning up after shell executor] -# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -# -# As noted in [1], gitlab-runner's shell executor doesn't clean up its working -# directory after builds. Unfortunately, we are forced to use the shell executor -# on Darwin. To avoid running out of disk space we add a stage at the end of -# the build to remove the /.../GitLabRunner/builds directory. Since we only run a -# single build at a time on Darwin this should be safe. -# -# We used to have a similar cleanup job on Windows as well however it ended up -# being quite fragile as we have multiple Windows builders yet there is no -# guarantee that the cleanup job is run on the same machine as the build itself -# was run. Consequently we were forced to instead handle cleanup with a separate -# cleanup cron job on Windows. -# -# [1] https://gitlab.com/gitlab-org/gitlab-runner/issues/3856 - -# See Note [Cleanup after shell executor] -cleanup-darwin: - stage: cleanup - tags: - - x86_64-darwin - when: always - dependencies: [] - before_script: - - echo "Time to clean up" - script: - - echo "Let's go" - after_script: - - BUILD_DIR=$CI_PROJECT_DIR - - echo "Cleaning $BUILD_DIR" - - cd $HOME - - rm -Rf $BUILD_DIR/* - - exit 0 ############################################################ # Packaging |