Skip to content

[WIP] Add GitHub workflows for building#7

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

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

Initial plan

ab36910
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

9 warnings
build-test
succeeded Mar 20, 2026 in 3m 8s