summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitlab-ci.yml10
1 files changed, 1 insertions, 9 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 64583fd1..6d71f587 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,20 +9,12 @@ cache:
before_script:
- cd tests/platform-ci
- # Check if running locally ($CI_PROJECT_ID is 0 then) and run setup.sh in
- # this case
- - if [ "$CI_PROJECT_ID" = "0" ]; then ./setup.sh; fi
+ - time ./setup.sh
stages:
- - setup
- syntax
- deploy
-setup:
- stage: setup
- script:
- - ./setup.sh
-
lint:
stage: syntax
script: