Closed timholy closed 1 year ago
There was no Documenter key for this repo so I added one.
Thanks! I don't know if it's possible to re-trigger TagBot, do you? Of course I can make a manual tag but that omits all the nice TagBot goodies in terms of the changes from the previous version.
I think since workflow dispatch is one of the accepted event triggers, we can run it from the Actions tab. Looks like you got it though because I see a tag with plenty of goodies. 🙂
Version 1.0.0 triggered (see #42) but did not generate a tag. See if updating the workflow helps.
@ararslan, I think I may need your help with any SSH-key work here.