Skip to content

chore: Update submodules - #176

Merged
mikelangmayr merged 1 commit into
mainfrom
automated/update-submodules
Sep 5, 2026
Merged

chore: Update submodules#176
mikelangmayr merged 1 commit into
mainfrom
automated/update-submodules

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 5, 2026

Copy link
Copy Markdown
Contributor

This PR updates submodules to their latest commits.

Updated submodules:

See commit for details

This PR was automatically created by the update-submodules workflow.

@mikelangmayr
mikelangmayr merged commit 8bcaf06 into main Sep 5, 2026
1 of 5 checks passed
@mikelangmayr
mikelangmayr deleted the automated/update-submodules branch September 5, 2026 13:29
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