diff options
| -rw-r--r-- | .gitlab-ci.yml | 1 | ||||
| m--------- | tools | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cf2b3f8d..d431b08e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -46,6 +46,7 @@ evolved: - git push only: - master + allow_failure: true pages: stage: deploy diff --git a/tools b/tools -Subproject 1c2dd285bf6b237a441c9351167d4795447b4d2 +Subproject c797f0e6a47add2970f28fa89b6ca5312a519d7 |