Build CI #1

Merged
pitfriedrich merged 1 commits from feature/workflows into main 2026-07-06 05:36:09 +00:00
Owner

CI workflow on PR

CI workflow on PR
pitfriedrich added 1 commit 2026-07-06 05:35:44 +00:00
pitfriedrich merged commit 0639823a69 into main 2026-07-06 05:36:09 +00:00
pitfriedrich deleted branch feature/workflows 2026-07-06 05:36:09 +00:00
Sign in to join this conversation.