Skip to content

(#933): ci/check_project_version.py: New script to check the project's version number across several files

(#933 (closed)): ci/check_project_version.py: New script to check the project's version number across several files

Fixes #933 (closed)

Merge request reports