diff options
| author | Fedja Beader <fedja@protonmail.ch> | 2024-05-17 18:01:52 +0200 |
|---|---|---|
| committer | Fedja Beader <fedja@protonmail.ch> | 2024-05-17 18:01:52 +0200 |
| commit | 5570d9d1c2b1b5fba50283ec443088430332bb86 (patch) | |
| tree | 059f68cc39a725a0bc64538e5771ef3525aa6ec6 /.gitlab-ci.yml | |
| parent | 95684834ecb45261da1640a4ad8143653698b192 (diff) | |
| download | plus-5570d9d1c2b1b5fba50283ec443088430332bb86.tar.gz plus-5570d9d1c2b1b5fba50283ec443088430332bb86.tar.bz2 plus-5570d9d1c2b1b5fba50283ec443088430332bb86.tar.xz plus-5570d9d1c2b1b5fba50283ec443088430332bb86.zip | |
Fix oddity introduced by 'Download mplint release instead of recompiling
every time'
No error/warning? odd.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f7b8e107c..6b59b54db 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -327,9 +327,6 @@ gcc-8_unittestsbin: tags: - docker - tags: - - docker - linters: stage: lint |