-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: MiniZinc/minizinc.github.io
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update MiniZincDistribution.jsx: fixed link to Gecode website
#83
opened Sep 18, 2025 by
dtonhofer
Loading…
Bump next from 15.0.3 to 15.1.3
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#81
opened Jan 3, 2025 by
dependabot
bot
Loading…
Bump nanoid from 3.3.6 to 3.3.8
dependencies
Pull requests that update a dependency file
javascript
Pull requests that update Javascript code
#80
opened Dec 14, 2024 by
dependabot
bot
Loading…
ProTip!
What’s not been updated in a month: updated:<2025-08-20.