diff options
| author | georg | 2023-03-07 11:25:17 +0000 |
|---|---|---|
| committer | georg | 2023-03-07 11:25:17 +0000 |
| commit | 8b41764a3ee2a75b98902f8ecdacd61d58934f6f (patch) | |
| tree | 81707ff69dbe5ca4a56e556cf92cd97616e65f37 | |
| parent | ed0ffa5693b6d710b19a9101d6cb0625f8b6f1fc (diff) | |
CI: linting: ruff: specify image
Otherwise, this job might fail, depending on the runner which executes
the job, due to different configurations, especially wrt the default
image.
Ref https://0xacab.org/jvoisin/mat2/-/merge_requests/105
| -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 310cbbe..eaa4719 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -11,6 +11,7 @@ stages: | |||
| 11 | - chown -R mat2 . | 11 | - chown -R mat2 . |
| 12 | 12 | ||
| 13 | linting:ruff: | 13 | linting:ruff: |
| 14 | image: $CONTAINER_REGISTRY:linting | ||
| 14 | stage: linting | 15 | stage: linting |
| 15 | script: | 16 | script: |
| 16 | - apt update | 17 | - apt update |