diff options
author | Jesusaves <cpntb1@ymail.com> | 2024-02-10 22:35:09 -0300 |
---|---|---|
committer | Jesusaves <cpntb1@ymail.com> | 2024-02-10 22:35:09 -0300 |
commit | 365e617e8978f6579a12c41fe0d11a655ec2d18e (patch) | |
tree | a3a72d25534702f254d402b59ba6a79aea2ecb9c | |
parent | ad96c743cf6535fb8da6d9cefb2ac983c33948dc (diff) | |
download | mv-365e617e8978f6579a12c41fe0d11a655ec2d18e.tar.gz mv-365e617e8978f6579a12c41fe0d11a655ec2d18e.tar.bz2 mv-365e617e8978f6579a12c41fe0d11a655ec2d18e.tar.xz mv-365e617e8978f6579a12c41fe0d11a655ec2d18e.zip |
[skip ci] Move linters from heavy lifters to light weights.
This should help a bit with queuing, not so much with pipeline CPU time.
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 536c23c1c..7837a7650 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -345,7 +345,7 @@ linters: variables: PACKAGES: python wget pngcheck imagemagick git grep tags: - - docker + - lightweight gcc-5_h_all: stage: prebuild |