Skip to content

chore: Update submodules - #28

Merged
mikelangmayr merged 1 commit into
mainfrom
automated/update-submodules
Oct 12, 2026
Merged

mikelangmayr merged 1 commit into
mainfrom
automated/update-submodules

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 6, 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.

@github-actions
github-actions Bot force-pushed the automated/update-submodules branch 2 times, most recently from 724e3ec to a080eba Compare October 10, 2026 02:13
@github-actions
github-actions Bot force-pushed the automated/update-submodules branch from a080eba to ce89476 Compare October 11, 2026 02:14
@mikelangmayr
mikelangmayr merged commit 251566b into main Oct 12, 2026
1 check failed
@mikelangmayr
mikelangmayr deleted the automated/update-submodules branch October 12, 2026 19:17
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