Oliver 1306db74b2
Update version_check.py CI scrips (#3448)
- Allow 'duplicate' version numbers when running on a tagged release
- In this situation, we have just tagged the particular release, and so the tag version *does* exist
- Note that f we are running on a 'tag' (release) then by definition we cannot have a duplicate tag.
2022-08-01 13:31:26 +10:00
..