diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 63178b647a7..773cf66f1c2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -610,6 +610,8 @@ docs lint: before_script: [] script: - shopt -s globstar + - ls -la + - ls -la scripts/lint-doc.sh - ls -la doc/ci/introduction/img/rollback.png - ls -la doc/**/*.png - scripts/lint-doc.sh |