Jenkins pipeline files can't be targeted as a distinct type
Jenkins pipeline files can't be targeted as a distinct type: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). I'm setting up pre-commit for a CI-heavy repo that runs on Jenkins. We've got a Jenkinsfile at the repo root, and a few shared pipeline snippets named .jenkins under…
The task
I'm setting up pre-commit for a CI-heavy repo that runs on Jenkins. We've got a Jenkinsfile at the repo root, and a few shared pipeline snippets named .jenkins under ci/. I want to run a Jenkins-specific linter against just these pipeline files (and not against every random…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.