Dirk Hohndel f10feef23a create script to determine build number ... What a pain. It turns out that github.run_number is counting the number of times a specific workflow has been run - but that's different for different workflows, so using that won't get us a single tag with all the corresponding build artifacts. And sadly I can't find a simple atomic way to increase a GitHUb repo variable, so I came up with this somewhat convoluted dance, using the the fact that a push to an existing brach that isn't a fast-forward will fail. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>		2023-12-11 12:59:33 -08:00
..
workflows	create script to determine build number	2023-12-11 12:59:33 -08:00
ISSUE_TEMPLATE.md	Small changes to the issue template	2017-10-28 16:59:20 +02:00
PULL_REQUEST_TEMPLATE.md	release-notes: use CHANGELOG.md	2017-11-28 19:05:04 -08:00