Create release using tags #5
Description
Pushing a git tag to GitHub should:
- trigger a build in CircleCI
- produce a binary glibc artifact
- create a release in GitHub for that tag; and
- upload the binary to that release
{{ message }}
Pushing a git tag to GitHub should: