Skip to content

chore: update dependencies#12

Closed
Dekker1 wants to merge 1 commit into
MiniZinc:developfrom
Dekker1:chore/update_deps
Closed

chore: update dependencies#12
Dekker1 wants to merge 1 commit into
MiniZinc:developfrom
Dekker1:chore/update_deps

Conversation

@Dekker1

@Dekker1 Dekker1 commented Jun 8, 2026

Copy link
Copy Markdown
Member

No description provided.

@Dekker1 Dekker1 closed this Jun 8, 2026
@Dekker1
Dekker1 deleted the chore/update_deps branch June 8, 2026 00:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant