diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 19503a271a4f99168418008d6941bf6086bf8a13..bd7e7c662001493ab8ee2a4e84bb8a10cc2a43e0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -24,7 +24,7 @@ tests: tags: - docker when: always - + interruptible: true ## Manual generation of the documentation @@ -39,6 +39,7 @@ documentation: tags: - docker when: manual + interruptible: true ################################################################################ ### PUBLIC