Skip to content

Update bazel and flatzinc#4879

Merged
gchatelet merged 1 commit intomainfrom
update_bazel
Oct 16, 2025
Merged

Update bazel and flatzinc#4879
gchatelet merged 1 commit intomainfrom
update_bazel

Conversation

@gchatelet
Copy link
Copy Markdown
Collaborator

No description provided.

@gchatelet gchatelet merged commit 8ed0a8c into main Oct 16, 2025
94 of 113 checks passed
@gchatelet gchatelet deleted the update_bazel branch October 16, 2025 12:05
Mizux pushed a commit that referenced this pull request Oct 16, 2025
@Mizux Mizux added this to the v9.16 milestone Feb 16, 2026
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.

2 participants