Skip to content

Also trigger the Github Actions workflow on push of tags#49

Merged
pdecat merged 1 commit intomasterfrom fix_github_actions_tagsMar 21, 2021