Commit 784fdee7 authored by Ralf Jung's avatar Ralf Jung
Browse files

add '@REPO' to CI template

parent f8cda8eb
......@@ -25,7 +25,8 @@ be added to "official" projects in the Iris group, both because of the lack of
parallelism and because the [timing visualization website][coq-speed] assumes
this. See the [timing section](#timing) for more information.
Inside your project, create a `.gitlab-ci.yml` with the following prelude:
Inside your project, create a `.gitlab-ci.yml` with the following prelude,
substituting `\REPO` for the name of the repository (e.g. `iris/stdpp`):
```
image: ralfjung/opam-ci:opam2
......@@ -48,8 +49,8 @@ variables:
paths:
- _opam/
only:
- master
- /^ci/
- master@\REPO
- /^ci/@\REPO
except:
- triggers
- schedules
......
Markdown is supported
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