Skip to content

Fix version check workflow - #236

Merged
cyderize merged 1 commit into
MiniZinc:developfrom
cyderize:fix_version_sync
Aug 31, 2026
Merged

Fix version check workflow#236
cyderize merged 1 commit into
MiniZinc:developfrom
cyderize:fix_version_sync

Conversation

@cyderize

Copy link
Copy Markdown
Member

No description provided.

@cyderize
cyderize enabled auto-merge (rebase) August 31, 2026 05:06
@cyderize
cyderize disabled auto-merge August 31, 2026 05:07
@cyderize
cyderize merged commit b3affd9 into MiniZinc:develop Aug 31, 2026
12 of 13 checks passed
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