diff options
| author | Erik Martin-Dorel | 2019-03-22 03:39:46 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-16 15:23:06 +0200 |
| commit | c84bc1c92a9e77103a88a60d05f9f6ad07b64b5c (patch) | |
| tree | 439bacb3175bf009732f52bf323418dc54b40111 /mathcomp/_CoqProject | |
| parent | 19ab5bad5ceece0680d94114f3bef9b2a4b0c195 (diff) | |
Refactor jobs: Split .opam-build & Create .docker-deploy
* The latter template job is trusted and only runs:
- in branch master,
- if all build *and* test jobs were successful
(major change in the deployment's condition)
* The other jobs are not tagged with "environment: name: deployment",
so they won't be able to read scoped protected variables.
* href: https://gitlab.com/help/ci/variables/README.md#limiting-environment-scopes-of-variables-premium
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions