diff options
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 86d0fde12a..3c22c60b7b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -48,17 +48,11 @@ ghc-linters: image: "registry.gitlab.haskell.org/ghc/ci-images/linters:$DOCKER_REV" script: - git fetch origin - - git checkout "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" - - git reset --hard "origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" - - echo "$CI_MERGE_REQUEST_ID" - - echo "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME" - - echo "$CI_COMMIT_SHA" - base="$(git merge-base $CI_MERGE_REQUEST_TARGET_BRANCH_NAME $CI_COMMIT_SHA)" - - echo $base + - echo "Merge base: $base" # - validate-commit-msg .git $(git rev-list $base..$CI_COMMIT_SHA) - validate-whitespace .git $(git rev-list $base..$CI_COMMIT_SHA) - .gitlab/linters/check-makefiles.py $base $CI_COMMIT_SHA - - git checkout "$CI_COMMIT_SHA" - .gitlab/linters/check-cpp.py $base $CI_COMMIT_SHA dependencies: [] tags: |