Loading .gitlab-ci.yml +3 −0 Original line number Diff line number Diff line Loading @@ -8,6 +8,9 @@ stages: format-check: stage: test script: - env | sort - pwd - ls -l - ./build-aux/check-consistency - ./build-aux/tidy-tests - if ! git diff --quiet; echo "ATS is not tidied. Please run ./build-aux/tidy-tests locally and verify. Thanks."; exit 1; fi Loading
.gitlab-ci.yml +3 −0 Original line number Diff line number Diff line Loading @@ -8,6 +8,9 @@ stages: format-check: stage: test script: - env | sort - pwd - ls -l - ./build-aux/check-consistency - ./build-aux/tidy-tests - if ! git diff --quiet; echo "ATS is not tidied. Please run ./build-aux/tidy-tests locally and verify. Thanks."; exit 1; fi
