New attempt at detecting when we should update the version number: if a PR changed charon-ml, this new check will ensure we also updated the version number.
This assumes we don't change charon-ml for other reasons, which is true most of the time. We can ignore this check on a case-by-case basis.
New attempt at detecting when we should update the version number: if a PR changed
charon-ml, this new check will ensure we also updated the version number.This assumes we don't change charon-ml for other reasons, which is true most of the time. We can ignore this check on a case-by-case basis.