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.
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 Nov 12, 2020
Triggering TagBot for merged registry pull request: JuliaRegistries/General#24516
JuliaTagBot commentedon Sep 13, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44793
JuliaTagBot commentedon Sep 26, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#45555
JuliaTagBot commentedon Dec 2, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#49783
JuliaTagBot commentedon Apr 7, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#104433
JuliaTagBot commentedon May 24, 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.
JuliaTagBot commentedon May 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#156216
JuliaTagBot commentedon Aug 17, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#164798