b9fd19e6b5
This script now works the same way as cppcheck. The version to be used is specified once in the github CI action