jvector
jvector copied to clipboard
Automate releases as GitHub workflow
We should automate the release process once we're comfortable with the results. I'd prefer a workflow that runs when an appropriate tag is pushed, but I'm open to other options.
I've been using Travis for a long time w/ good results. Out of curiosity: any particular reason for choosing GH workflows?