Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/videolan/dav1d.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Storsjö <martin@martin.st>2019-02-21 16:27:44 +0300
committerMartin Storsjö <martin@martin.st>2019-02-21 16:27:44 +0300
commit2b84f5679490d1d175d86f526fb7d765911fa5e2 (patch)
tree7e9b17d275c5d491de753aff48993721c3723ffa /.gitlab-ci.yml
parent03f424e45df119bf52cb603854fe4d12c93dcdc5 (diff)
ci: Don't fail if the upstream cleanup fails
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b206c40..580d616 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ style-check:
- amd64
script:
- git grep -n -P "\t|\r| $" -- . ':(exclude)*/compat/*' && exit 1
- - git remote rm upstream 2> /dev/null
+ - git remote rm upstream 2> /dev/null || true
- git remote add upstream https://code.videolan.org/videolan/dav1d.git
- git fetch -q upstream master
- for i in $(git rev-list HEAD ^upstream/master); do