diff options
| author | georg | 2023-03-20 14:50:48 +0000 |
|---|---|---|
| committer | georg | 2023-03-20 15:10:56 +0000 |
| commit | 6c05360afad48d95e889c96e45fe748505fe6665 (patch) | |
| tree | 24ab8a4113e02e5ca9e8539a066f09fb25bcf5e4 | |
| parent | 596696dfbc605089ae7b8f2d91274e8554bb77ae (diff) | |
CI: 'clone' git repository instead of 'fetch'
While the former is slower, the later might lead to errors such as
"fatal: detected dubious ownership in repository at" which is fixed
GitLab upstream via
https://gitlab.com/gitlab-org/gitlab-runner/-/merge_requests/3538, but
not yet released.
Closes #191
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c3a76c7..5ea7bb3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | variables: | 1 | variables: |
| 2 | CONTAINER_REGISTRY: $CI_REGISTRY/georg/mat2-ci-images | 2 | CONTAINER_REGISTRY: $CI_REGISTRY/georg/mat2-ci-images |
| 3 | GIT_STRATEGY: clone | ||
| 3 | 4 | ||
| 4 | stages: | 5 | stages: |
| 5 | - linting | 6 | - linting |