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
Showing only changes of commit af57ed81ca - Show all commits

View File

@@ -77,11 +77,16 @@ jobs:
REGISTRY_USERNAME="${{ secrets.REGISTRY_USERNAME }}" \
REGISTRY_PASSWORD="${{ secrets.REGISTRY_PASSWORD }}" \
bash .gitea/workflows/check_active_workflows.sh > active_workflows.txt
echo "--- Active workflows ---"
cat active_workflows.txt || echo "(none)"
- name: Fail only on overlap with active workflows
run: |
cd repo
echo "--- Deleted workflows ---"
cat deleted_workflows.txt 2>/dev/null || echo "(none)"
if [ ! -s deleted_workflows.txt ]; then
echo "No deleted workflows/jobs found."
exit 0