diff options
| author | Hécate Moonlight <hecate+gitlab@glitchbra.in> | 2021-02-22 08:54:53 +0100 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-03-17 00:57:17 -0400 |
| commit | 58cfcc658f7964286dcb6073d28c54fc57c8aa94 (patch) | |
| tree | 58fc9891134aec19d4ee232ebd4c87e5ad7131e9 | |
| parent | b5b51c54a7d6539caa4c3dcb7be52072b4a10775 (diff) | |
| download | haskell-58cfcc658f7964286dcb6073d28c54fc57c8aa94.tar.gz | |
Make the CI jobs interruptible
closes #19362
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 849b4f4c39..fd25f5ad6d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -35,6 +35,8 @@ variables: # -0 34.40s 156 MB # XZ_OPT: "-1" +default: + interruptible: true stages: - tool-lint # Source linting of the tools |