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-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). 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…