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 Feb 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#28947
JuliaTagBot commentedon Apr 19, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34677
JuliaTagBot commentedon Apr 21, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#34861
JuliaTagBot commentedon Apr 24, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#35200
JuliaTagBot commentedon May 19, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#37034
JuliaTagBot commentedon Jul 1, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#40047
JuliaTagBot commentedon Jul 5, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#40284
JuliaTagBot commentedon Sep 6, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44285
JuliaTagBot commentedon Sep 7, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44391
JuliaTagBot commentedon Sep 13, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#44807
JuliaTagBot commentedon Nov 8, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#48424
JuliaTagBot commentedon Dec 16, 2021
Triggering TagBot for merged registry pull request: JuliaRegistries/General#50666
JuliaTagBot commentedon Mar 7, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#56119
JuliaTagBot commentedon Mar 12, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#56462
10 remaining items
JuliaTagBot commentedon Nov 22, 2022
Triggering TagBot for merged registry pull request: JuliaRegistries/General#72636
JuliaTagBot commentedon Jan 26, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#76405
JuliaTagBot commentedon Feb 6, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#77088
JuliaTagBot commentedon Feb 17, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#77874
JuliaTagBot commentedon Feb 20, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#78093
JuliaTagBot commentedon Jun 2, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#84708
JuliaTagBot commentedon Aug 18, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#89872
JuliaTagBot commentedon Aug 22, 2023
Triggering TagBot for merged registry pull request: JuliaRegistries/General#90069
JuliaTagBot commentedon Aug 22, 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 Feb 16, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#101028
JuliaTagBot commentedon May 31, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#108054
JuliaTagBot commentedon Dec 11, 2024
Triggering TagBot for merged registry pull request: JuliaRegistries/General#121201
JuliaTagBot commentedon May 28, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#156493
JuliaTagBot commentedon Jun 3, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#157024
JuliaTagBot commentedon Sep 25, 2026
Triggering TagBot for merged registry pull request: JuliaRegistries/General#169459