Commit c23672ce52ae53bd846b555439aa0a070b6d2c07
2021-04-23T13:05:25
GitHub Actions: Don't build tags Our workflow script does not currently work with tags, and there is no point to building tags anyhow, since we do not use the CI system to spin official builds.