search

jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
17 stars 4 forks source link

TagBot trigger issue #10

Closed JuliaTagBot closed 2 years ago

JuliaTagBot commented 2 years ago

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!

JuliaTagBot commented 2 years ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/62010

JuliaTagBot commented 2 years ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/62429

JuliaTagBot commented 2 years ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/64578

JuliaTagBot commented 1 year ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/73197

JuliaTagBot commented 1 year ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/76708

JuliaTagBot commented 1 year ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/84388

JuliaTagBot commented 1 year ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/89796

JuliaTagBot commented 1 year ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/91742

JuliaTagBot commented 12 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/91958

JuliaTagBot commented 11 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/92356

JuliaTagBot commented 11 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/93083

JuliaTagBot commented 10 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/94672

JuliaTagBot commented 10 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/95477

JuliaTagBot commented 7 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/99917

JuliaTagBot commented 7 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/100443

JuliaTagBot commented 3 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/107618

JuliaTagBot commented 2 months ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/110997

JuliaTagBot commented 1 month ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/111476

JuliaTagBot commented 2 weeks ago

Triggering TagBot for merged registry pull request: https://github.com/JuliaRegistries/General/pull/114389