Nicolas Dufresne f551f4a7be Make jobs interruptible by default ... This was added in 12.3 and is false by default. Make it to true, so that we stop the previous pipelien on force push.		2020-03-17 09:32:44 -04:00
..
build_manifest.py	gitlab/build_manifest: allow for upstream branch to be specified	2019-06-05 22:51:04 +00:00
ci_template.yml	Make jobs interruptible by default	2020-03-17 09:32:44 -04:00
clone_manifest_ref.py	gitlab: add a script to clone a repository using manifest details	2019-03-26 21:35:44 +00:00
freedesktop_doc_importer.sh	doc-importer: Update job name now that we build the API doc	2019-05-13 19:36:01 -04:00