Reinder Feenstra 9f52368ad9 Version numbering improvements
- GitHub actions branch builds have a <branch>-<pipeline>-<sha_short> suffix.
- GitHub actions tag builds have no suffix.
- Other builds have a -dev suffix
2022-06-12 00:16:19 +02:00
..
2022-06-12 00:16:19 +02:00
2022-06-12 00:16:19 +02:00