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 27, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#66994
JuliaTagBot commentedon Aug 28, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#67129
JuliaTagBot commentedon Oct 26, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#71099
JuliaTagBot commentedon Dec 11, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#73926
JuliaTagBot commentedon Feb 23, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78320
JuliaTagBot commentedon Jul 24, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#88165
JuliaTagBot commentedon Sep 25, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#92198
JuliaTagBot commentedon Oct 31, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#94484
JuliaTagBot commentedon Dec 20, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#97469
JuliaTagBot commentedon Mar 11, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#102660
JuliaTagBot commentedon Apr 26, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#105654
JuliaTagBot commentedon Aug 4, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#112381
JuliaTagBot commentedon Jan 19, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#123297
JuliaTagBot commentedon Mar 23, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#127531
JuliaTagBot commentedon Mar 23, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#127535
JuliaTagBot commentedon Jan 18, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#146469
JuliaTagBot commentedon Jul 7, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#160249
JuliaTagBot commentedon Jul 7, 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 Oct 7, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170937
JuliaTagBot commentedon Oct 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173274
JuliaTagBot commentedon Oct 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#173277