Skip to content

Update beman-submodule infra#73

Merged
dietmarkuehl merged 2 commits intomainfrom
feature/beman-submodule-update
Mar 18, 2026
Merged

Update beman-submodule infra#73
dietmarkuehl merged 2 commits intomainfrom
feature/beman-submodule-update

Conversation

@ClausKlein
Copy link
Contributor

No description provided.

@coveralls
Copy link

coveralls commented Mar 18, 2026

Coverage Status

coverage: 93.791%. remained the same
when pulling 3d0e11a on feature/beman-submodule-update
into 6f58b4b on main.

@dietmarkuehl dietmarkuehl merged commit 21be211 into main Mar 18, 2026
36 checks passed
@dietmarkuehl dietmarkuehl deleted the feature/beman-submodule-update branch March 18, 2026 22:32
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.

3 participants