| ... |
... |
@@ -266,7 +266,8 @@ lint-changelog: |
|
266
|
266
|
GIT_SUBMODULE_STRATEGY: none
|
|
267
|
267
|
before_script:
|
|
268
|
268
|
- export PATH="/opt/toolchain/bin:$PATH"
|
|
269
|
|
- - git config --global --add safe.directory "$CI_PROJECT_DIR"
|
|
|
269
|
+ # workaround for docker permissions
|
|
|
270
|
+ - sudo chown ghc:ghc -R .
|
|
270
|
271
|
script:
|
|
271
|
272
|
- .gitlab/ci.sh lint_changelog
|
|
272
|
273
|
dependencies: []
|
| ... |
... |
@@ -283,6 +284,9 @@ lint-linters: |
|
283
|
284
|
variables:
|
|
284
|
285
|
GIT_DEPTH: 1
|
|
285
|
286
|
GIT_SUBMODULE_STRATEGY: none
|
|
|
287
|
+ before_script:
|
|
|
288
|
+ # workaround for docker permissions
|
|
|
289
|
+ - sudo chown ghc:ghc -R .
|
|
286
|
290
|
script:
|
|
287
|
291
|
- mypy testsuite/tests/linters/regex-linters/*.py
|
|
288
|
292
|
dependencies: []
|
| ... |
... |
@@ -294,6 +298,9 @@ lint-testsuite: |
|
294
|
298
|
variables:
|
|
295
|
299
|
GIT_DEPTH: 1
|
|
296
|
300
|
GIT_SUBMODULE_STRATEGY: none
|
|
|
301
|
+ before_script:
|
|
|
302
|
+ # workaround for docker permissions
|
|
|
303
|
+ - sudo chown ghc:ghc -R .
|
|
297
|
304
|
script:
|
|
298
|
305
|
- make -Ctestsuite list_broken TEST_HC=$GHC
|
|
299
|
306
|
dependencies: []
|
| ... |
... |
@@ -305,6 +312,9 @@ typecheck-testsuite: |
|
305
|
312
|
variables:
|
|
306
|
313
|
GIT_DEPTH: 1
|
|
307
|
314
|
GIT_SUBMODULE_STRATEGY: none
|
|
|
315
|
+ before_script:
|
|
|
316
|
+ # workaround for docker permissions
|
|
|
317
|
+ - sudo chown ghc:ghc -R .
|
|
308
|
318
|
script:
|
|
309
|
319
|
- mypy testsuite/driver/runtests.py
|
|
310
|
320
|
dependencies: []
|
| ... |
... |
@@ -335,6 +345,9 @@ lint-author: |
|
335
|
345
|
extends: .lint
|
|
336
|
346
|
variables:
|
|
337
|
347
|
GIT_SUBMODULE_STRATEGY: none
|
|
|
348
|
+ before_script:
|
|
|
349
|
+ # workaround for docker permissions
|
|
|
350
|
+ - sudo chown ghc:ghc -R .
|
|
338
|
351
|
script:
|
|
339
|
352
|
- git fetch "$CI_MERGE_REQUEST_PROJECT_URL" $CI_MERGE_REQUEST_TARGET_BRANCH_NAME
|
|
340
|
353
|
- base="$(git merge-base FETCH_HEAD $CI_COMMIT_SHA)"
|