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