Makes merge request pipeline interruptible
- Related issues: #32 (closed)
- Requested reviewers: @kiene
Description
This aims to make the merge request pipelines interruptible. Although usually not so critical, it is pretty easy to make the CI system blocked with current merge request pipelines by simply pushing a couple of commits in a row. This change should do the job.