added deletion check, and added workflows #2

Merged
j.r merged 10 commits from develop into main 2026-06-12 08:28:13 +00:00

10 Commits

Author SHA1 Message Date
Richard Mrasek
af57ed81ca debug: print active and deleted workflow lists in CI
All checks were successful
Check Deleted Workflows / check-deleted-workflows (pull_request) Successful in 1m3s
2026-06-12 10:26:46 +02:00
Richard Mrasek
9188fe7302 fix: use detached SHA for HEAD worktree to avoid branch collision
All checks were successful
Check Deleted Workflows / check-deleted-workflows (pull_request) Successful in 1m5s
2026-06-12 10:24:27 +02:00
Richard Mrasek
435d316258 fix so he can find the bash scripts
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 45s
2026-06-12 10:22:02 +02:00
Richard Mrasek
452e5cfe0c added git to the runner
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 40s
2026-06-12 10:17:41 +02:00
Richard Mrasek
ffe20d285c fixed pipeline changed container image
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 5s
2026-06-12 10:16:52 +02:00
Richard Mrasek
940c090c7a fixed pipeline dep
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 9s
2026-06-12 10:15:05 +02:00
Richard Mrasek
e85c36715a fixed pipeline dep
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 24s
2026-06-12 10:13:43 +02:00
Richard Mrasek
874477bbc1 fixed pipeline pip install
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 26s
2026-06-12 10:12:09 +02:00
Richard Mrasek
7666731f66 fixed pipeline
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 4s
2026-06-12 10:11:17 +02:00
Richard Mrasek
b8b3c8c41d added deletion check, and added workflows
Some checks failed
Check Deleted Workflows / check-deleted-workflows (pull_request) Failing after 2s
2026-06-12 10:08:23 +02:00