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 Sep 18, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#68324
JuliaTagBot commentedon Oct 6, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#69580
JuliaTagBot commentedon Oct 6, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#69614
JuliaTagBot commentedon Oct 6, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#69633
JuliaTagBot commentedon Nov 24, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#72828
JuliaTagBot commentedon Jan 19, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#75970
JuliaTagBot commentedon Jan 20, 2023
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 Jan 24, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#76289
JuliaTagBot commentedon Feb 8, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#77276
JuliaTagBot commentedon Feb 23, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78359
JuliaTagBot commentedon Mar 1, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78737
JuliaTagBot commentedon Mar 2, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78796
JuliaTagBot commentedon Mar 2, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78812
JuliaTagBot commentedon Mar 28, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#80494
7 remaining items
JuliaTagBot commentedon Aug 20, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#113497
JuliaTagBot commentedon Jan 9, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#122659
JuliaTagBot commentedon Jan 28, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#123833
JuliaTagBot commentedon Feb 12, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#124902
JuliaTagBot commentedon Feb 25, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#125804
JuliaTagBot commentedon Jun 19, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#133237
JuliaTagBot commentedon Jul 4, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#134216
JuliaTagBot commentedon Aug 2, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135808
JuliaTagBot commentedon Aug 6, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#136049
JuliaTagBot commentedon Dec 4, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#143734
JuliaTagBot commentedon Jan 21, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#146622
JuliaTagBot commentedon Jul 22, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162033
JuliaTagBot commentedon Jul 23, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162101
JuliaTagBot commentedon Jul 23, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162125
JuliaTagBot commentedon Jul 24, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#162222