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 Apr 22, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#105241
JuliaTagBot commentedon Apr 29, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#105854
JuliaTagBot commentedon Apr 30, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#105888
JuliaTagBot commentedon May 2, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106065
JuliaTagBot commentedon May 3, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106130
JuliaTagBot commentedon May 10, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106515
JuliaTagBot commentedon May 14, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#106788
JuliaTagBot commentedon May 17, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107086
JuliaTagBot commentedon May 22, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107450
JuliaTagBot commentedon May 24, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107573
JuliaTagBot commentedon May 24, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#107601
JuliaTagBot commentedon Jun 1, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#108061
JuliaTagBot commentedon Jul 30, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#112059
JuliaTagBot commentedon Aug 12, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#112993
18 remaining items
JuliaTagBot commentedon Jun 10, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#132611
JuliaTagBot commentedon Jun 17, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133065
JuliaTagBot commentedon Jul 14, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#134747
JuliaTagBot commentedon Aug 25, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#137284
JuliaTagBot commentedon Sep 10, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#138297
JuliaTagBot commentedon Sep 17, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#138720
JuliaTagBot commentedon Oct 9, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#140062
JuliaTagBot commentedon Oct 27, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#141344
JuliaTagBot commentedon Nov 13, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#142432
JuliaTagBot commentedon Nov 13, 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 Feb 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#147687
JuliaTagBot commentedon Feb 13, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#148343
JuliaTagBot commentedon Jun 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#159001
JuliaTagBot commentedon Aug 26, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#166124
JuliaTagBot commentedon Oct 7, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170899