Closed stephenmathieson closed 5 years ago
@stephenmathieson the failing github_release, is that because we don't have an account that can push tags on CI?
@stephenmathieson the failing github_release, is that because we don't have an account that can push tags on CI?
Yep. I'm working with @dequedoug and @wweeder on this.
For now, we can manually create releases.
Reviewer checks
Required fields, to be filled out by PR reviewer(s)