David Tolnay c48d5eecf2 Kick rebuilds via branch instead of tag ... Having some trouble getting GitHub Actions to run the "on: push: tags" build after a tag is repointed to a new commit.		2021-10-09 01:34:43 +01:00
..
workflows	Kick rebuilds via branch instead of tag	2021-10-09 01:34:43 +01:00