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 Jul 3, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#86578
JuliaTagBot commentedon Jul 7, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#87047
JuliaTagBot commentedon Jul 16, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#87583
JuliaTagBot commentedon Aug 5, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#89123
JuliaTagBot commentedon Nov 10, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#95091
JuliaTagBot commentedon Nov 29, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#96119
JuliaTagBot commentedon Nov 30, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#96199
JuliaTagBot commentedon Dec 14, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#97084
JuliaTagBot commentedon Feb 14, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#100854
JuliaTagBot commentedon Feb 26, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#101717
JuliaTagBot commentedon Jun 10, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#108634
JuliaTagBot commentedon Jun 12, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#108809
JuliaTagBot commentedon Jul 4, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#110423
JuliaTagBot commentedon Oct 25, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118060
JuliaTagBot commentedon Oct 28, 2024
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 28, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118204
JuliaTagBot commentedon Oct 29, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#118289
JuliaTagBot commentedon Dec 10, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#121112
JuliaTagBot commentedon Jan 8, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#122586
JuliaTagBot commentedon May 10, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#130660
JuliaTagBot commentedon Jul 24, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135354
JuliaTagBot commentedon Sep 24, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#139078
JuliaTagBot commentedon Sep 27, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#139271
JuliaTagBot commentedon Nov 19, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#142755
JuliaTagBot commentedon Jan 7, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#145675
JuliaTagBot commentedon May 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#154723