New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TagBot down #1090

Closed

nickrobinson251 opened this issue Aug 15, 2023 · 1 comment

Collaborator

nickrobinson251 commented Aug 15, 2023

Both v0.9.13 and v0.9.14 are missing Git Tags.

Member

fredrikekre commented Nov 28, 2023

Pushed them manually, seems like it is working now since the latest releases are tagged.

fredrikekre closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment