Backport of build: Further polishing of the prototype build workflow into v1.2#31115

Merged

apparentlymart merged 3 commits intov1.2from backport/build-workflow-dev/general-polish/eagerly-natural-aardvark

May 23, 2022

+85-13

Commits on May 23, 2022

build: Fetch all tags before deciding which version we're building
apparentlymart
committed
build: Write the detected version number into the generated executable
apparentlymart
committed
build: Accept version numbers with prereleases containing dashes
apparentlymart
committed