Commit 10ee8561 authored by Ralf Jung's avatar Ralf Jung
Browse files

mark most jobs as interruptible

parent aeb449a7
......@@ -24,6 +24,7 @@ variables:
.template: &template
<<: *only_branches
stage: build
interruptible: true
tags:
- fp
script:
......@@ -49,6 +50,7 @@ build-coq.dev:
build-coq.8.13.2:
<<: *template
interruptible: false
variables:
OPAM_PINS: "coq version 8.13.2"
MANGLE_NAMES: "1"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment