diff options
author | Eric Engestrom <[email protected]> | 2019-02-22 15:52:08 +0000 |
---|---|---|
committer | Eric Engestrom <[email protected]> | 2019-02-26 12:02:14 +0000 |
commit | 7f5d9c27579aec3eefe6a48eec5c3b25c1443439 (patch) | |
tree | cc11de032f7ef32fbc83d7b4ed3ae0f071a1f3b8 /include/GL | |
parent | 40a82e6463f2686b262cdb1dad067646c47d4469 (diff) |
gitlab-ci: always run the containers build
If the first time a fork was created, the job creating the containers was
manually cancelled, this would have left the fork unable to use the CI
(until the next automatic regeneration of the container).
Avoid this by always running the container-generation job, even though
99% of the time it will spin up, see that the container exists and shut
down.
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Michel Dänzer <[email protected]>
Diffstat (limited to 'include/GL')
0 files changed, 0 insertions, 0 deletions