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.
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 Jan 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#27760
JuliaTagBot commentedon May 11, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#36501
JuliaTagBot commentedon Sep 25, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#45517
JuliaTagBot commentedon Nov 5, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#48199
JuliaTagBot commentedon Jan 31, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#53531
JuliaTagBot commentedon Mar 4, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#55965
JuliaTagBot commentedon May 15, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#81398
JuliaTagBot commentedon Aug 13, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#89548
JuliaTagBot commentedon Oct 19, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#93699
JuliaTagBot commentedon Oct 29, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#94311
JuliaTagBot commentedon Dec 4, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#96457
JuliaTagBot commentedon Jul 5, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#110512
JuliaTagBot commentedon Aug 2, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#112312
JuliaTagBot commentedon Sep 3, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#114463
13 remaining items
JuliaTagBot commentedon May 21, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#131437
JuliaTagBot commentedon Jun 10, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#132672
JuliaTagBot commentedon Aug 3, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#135841
JuliaTagBot commentedon Sep 5, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#138039
JuliaTagBot commentedon Sep 30, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#139396
JuliaTagBot commentedon Oct 3, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#139651
JuliaTagBot commentedon Oct 3, 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 Oct 10, 2025
Triggering TagBot for merged registry pull request: JuliaRegistries/General#140122
JuliaTagBot commentedon Feb 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#147566
JuliaTagBot commentedon Feb 26, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#149333
JuliaTagBot commentedon Feb 26, 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 May 5, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#154755
JuliaTagBot commentedon May 12, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#155289
JuliaTagBot commentedon Jun 9, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#157595
JuliaTagBot commentedon Oct 6, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#170786