Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run the
build
workflow on tag push (#520)
We need this to be able to create a release.
- Loading branch information