CI: Figure out the versioning stuff

[ForNeVeR]

There are several comments in main.yml like this: TODO: Add ${{ github.run_id }} as a patch version

We should figure out if we still need that, and either fix that or drop these TODOs if this is no longer necessary.

Look for TODO[#64] in the repository.