adjusted pipeline to clean up a bit

This commit is contained in:
Richard Mrasek
2026-06-18 08:22:33 +02:00
parent db85eb865f
commit 867cc8c522
2 changed files with 41 additions and 37 deletions

View File

@@ -11,6 +11,9 @@ on:
- ready_for_review
workflow_dispatch:
env:
BASE_DOMAIN: dataprovider01.sandbox-cat-dat.simpl-europe.eu
jobs:
check-deleted-workflows:
runs-on: orchestration-platform
@@ -19,6 +22,9 @@ jobs:
defaults:
run:
shell: bash
env:
REPO_DIR: repo
REPO_CLONE_URL: https://gitea.${{ env.BASE_DOMAIN }}/dataprovider01/template-code-location.git
steps:
- name: Install git
run: |
@@ -27,8 +33,6 @@ jobs:
- name: Checkout repository
run: |
REPO_DIR="repo"
REPO_CLONE_URL="https://gitea.dataprovider01.sandbox-cat-dat.simpl-europe.eu/dataprovider01/template-code-location.git"
CLONE_USER="${{ secrets.REGISTRY_USERNAME }}"
CLONE_PASS="${{ secrets.REGISTRY_PASSWORD }}"
@@ -55,12 +59,12 @@ jobs:
- name: Install project dependencies
run: |
cd repo
cd "${REPO_DIR}"
uv sync --frozen --no-dev --no-install-package torch
- name: Compute deleted workflows/jobs against main
run: |
cd repo
cd "${REPO_DIR}"
PATH="$PWD/.venv/bin:$PATH" \
BASE_REF="${GITHUB_BASE_REF:-main}" \
HEAD_REF="${GITHUB_HEAD_REF:-HEAD}" \
@@ -71,7 +75,7 @@ jobs:
- name: Compute active workflows list
run: |
cd repo
cd "${REPO_DIR}"
PATH="$PWD/.venv/bin:$PATH" \
ONLY_ACTIVE="true" \
REGISTRY_USERNAME="${{ secrets.REGISTRY_USERNAME }}" \
@@ -82,7 +86,7 @@ jobs:
- name: Fail only on overlap with active workflows
run: |
cd repo
cd "${REPO_DIR}"
echo "--- Deleted workflows ---"
cat deleted_workflows.txt 2>/dev/null || echo "(none)"