Skip to content

[WIP] Add GitHub workflows for building#7

Merged
mkrueger merged 1 commit intodev/mkrueger/workflowsfrom
copilot/sub-pr-4-again
Mar 20, 2026
Merged

[WIP] Add GitHub workflows for building#7
mkrueger merged 1 commit intodev/mkrueger/workflowsfrom
copilot/sub-pr-4-again

Commits

Commits on Mar 20, 2026