diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 86d0fde12aab44f7db59ce52e2f383fc5f8626fe..3c22c60b7b11c4aa07d3da29df660236c94ea957 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: