[CI] Stop building ci_lint Docker image

Author: tlopex

ci/jenkins/generate.py

@@ -39,7 +39,6 @@
     "ci_arm": "ARM",
     "ci_cpu": "CPU",
     "ci_gpu": "GPU",
-    "ci_lint": "CPU",
     "ci_wasm": "CPU",
 }
 

ci/jenkins/generated/arm_jenkinsfile.groovy

@@ -52,7 +52,6 @@ import org.jenkinsci.plugins.pipeline.modeldefinition.Utils
 
 // These are set at runtime from data in ci/jenkins/docker-images.yml, update
 // image tags in that file
-ci_lint = ''
 ci_gpu = ''
 ci_cpu = ''
 ci_minimal = ''