Skip to content

[WIP] Add GitHub workflows for building - #11

Closed
Mike Krüger (mkrueger) with Copilot wants to merge 1 commit into
dev/mkrueger/workflowsfrom
copilot/sub-pr-4-again
Closed

[WIP] Add GitHub workflows for building#11
Mike Krüger (mkrueger) with Copilot wants to merge 1 commit into
dev/mkrueger/workflowsfrom
copilot/sub-pr-4-again

Commits

Commits on Mar 23, 2026