CI: pin the linters, so a release cannot turn a branch red - #1115

CI: pin the linters, so a release cannot turn a branch red#1115

thc1006 wants to merge 1 commit into

RocketPy-Team:developRocketPy-Team/RocketPy:developfrom

thc1006:ci/pin-the-lintersthc1006/RocketPy:ci/pin-the-lintersCopy head branch name to clipboard