summaryrefslogtreecommitdiffstats
path: root/include/GL
diff options
context:
space:
mode:
authorEric Engestrom <[email protected]>2019-02-22 15:52:08 +0000
committerEric Engestrom <[email protected]>2019-02-26 12:02:14 +0000
commit7f5d9c27579aec3eefe6a48eec5c3b25c1443439 (patch)
treecc11de032f7ef32fbc83d7b4ed3ae0f071a1f3b8 /include/GL
parent40a82e6463f2686b262cdb1dad067646c47d4469 (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