Closed JuliaSprenger closed 2 years ago
This should only trigger for commits pushed to master that are tagged.
This PR builds on top of #33
This should only trigger for commits pushed to master that are tagged.
This PR builds on top of #33