Skip to content

[WIP] Add GitHub workflows for building#10

Merged
mkrueger merged 2 commits intodev/mkrueger/workflowsfrom
copilot/sub-pr-4-again
Mar 23, 2026
Merged

[WIP] Add GitHub workflows for building#10
mkrueger merged 2 commits intodev/mkrueger/workflowsfrom
copilot/sub-pr-4-again

Commits

Commits on Mar 23, 2026