Skip to content

Actually include the root module again#42

Merged
lisajulia merged 1 commit into
mainfrom
include-root-module
Jul 1, 2026
Merged

Actually include the root module again#42
lisajulia merged 1 commit into
mainfrom
include-root-module

Conversation

@lisajulia

Copy link
Copy Markdown
Contributor

No description provided.

@lisajulia lisajulia merged commit f9d482a into main Jul 1, 2026
6 of 7 checks passed
@lisajulia lisajulia deleted the include-root-module branch July 1, 2026 15:36
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