Oliver 08d93e0727
Improvements to version check CI script (#3455)
* Improvements to version check CI script

* Fix typo

* Allow duplicate version tags for 'stable' branch
2022-08-02 12:11:07 +10:00
..
2022-08-01 14:35:23 +10:00