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 Aug 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#42147
JuliaTagBot commentedon Aug 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#42370
JuliaTagBot commentedon Aug 19, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#43123
JuliaTagBot commentedon Aug 26, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#43549
JuliaTagBot commentedon Aug 30, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#43787
JuliaTagBot commentedon Aug 30, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#43814
JuliaTagBot commentedon Sep 9, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44613
JuliaTagBot commentedon Sep 24, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#45466
JuliaTagBot commentedon May 18, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#60486
JuliaTagBot commentedon Jun 11, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#62125
JuliaTagBot commentedon Jun 11, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#62126
JuliaTagBot commentedon Jun 25, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#63112
JuliaTagBot commentedon Jun 25, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#63113
JuliaTagBot commentedon Jul 6, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#63788
32 remaining items
JuliaTagBot commentedon Feb 4, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#124312
JuliaTagBot commentedon Mar 12, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#126738
JuliaTagBot commentedon May 5, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#130300
JuliaTagBot commentedon Jun 12, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#132780
JuliaTagBot commentedon Jun 19, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133282
JuliaTagBot commentedon Jun 27, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133776
JuliaTagBot commentedon Jun 30, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133917
JuliaTagBot commentedon Aug 16, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#136828
JuliaTagBot commentedon Aug 19, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#136982
JuliaTagBot commentedon Nov 20, 2025
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 Nov 20, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#142875
JuliaTagBot commentedon Apr 25, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#153865
JuliaTagBot commentedon May 23, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#156171
JuliaTagBot commentedon Sep 12, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168034
JuliaTagBot commentedon Sep 14, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#168190