Skip to content

Sync version of upstream repository - #28

Merged
mgovers merged 1 commit into
mainfrom
sync-version
Aug 19, 2026
Merged

Sync version of upstream repository#28
mgovers merged 1 commit into
mainfrom
sync-version

Conversation

@power-grid-model-ci-bot

Copy link
Copy Markdown
Contributor

This PR updates the formula to match the latest version of the upstream repository.

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@mgovers
mgovers merged commit 8f34a0f into main Aug 19, 2026
2 checks passed
@mgovers
mgovers deleted the sync-version branch August 19, 2026 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant