Sipke Schoorstra 9c1ce0c82f Update version naming in GitHub Actions ... The convention for naming versions in GitHub Actions was modified. Previously, all tags were assigned just a sequential version, even if they were already marked as a release by a tag. Now, if they are tagged and marked as a published release, they use the tag as the version. The change should provide more accurate version information.		2023-12-31 12:59:55 +01:00
..
workflows	Update version naming in GitHub Actions	2023-12-31 12:59:55 +01:00