You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue is used to trigger TagBot; feel free to unsubscribe.
If you haven't already, you should update your TagBot.yml to include issue comment triggers.
Please see this post on Discourse for instructions and more details.
If you'd like for me to do this for you, comment TagBot fix on this issue.
I'll open a PR within a few hours, please be patient!
Triggering TagBot for merged registry pull request
This extra notification is being sent because I expected a tag to exist by now, but it doesn't.
You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.
Activity
JuliaTagBot commentedon May 9, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106507
JuliaTagBot commentedon May 12, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106652
JuliaTagBot commentedon May 16, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106913
JuliaTagBot commentedon May 17, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107028
JuliaTagBot commentedon Oct 6, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#116712
JuliaTagBot commentedon Oct 25, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118082
JuliaTagBot commentedon Jan 8, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#145746
JuliaTagBot commentedon May 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#154764
JuliaTagBot commentedon May 5, 2026
Triggering TagBot for merged registry pull request
This extra notification is being sent because I expected a tag to exist by now, but it doesn't.
You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.