Merge dev-4 into main #4

Merged
KerradKerridi merged 5 commits from dev-4 into main 2026-01-25 16:58:22 +00:00
Showing only changes of commit 60487b5488 - Show all commits

View File

@@ -3,8 +3,6 @@ name: CI & CD pipeline
on: on:
push: push:
branches: [ main, 'develop', 'dev-*', 'feature/**' ] branches: [ main, 'develop', 'dev-*', 'feature/**' ]
pull_request:
branches: [ main, develop ]
workflow_dispatch: workflow_dispatch:
inputs: inputs:
action: action:
@@ -68,18 +66,6 @@ jobs:
run: | run: |
python -m pytest tests/infra/test_prometheus_config.py -v python -m pytest tests/infra/test_prometheus_config.py -v
- name: Check for merge conflicts
if: github.event_name == 'pull_request'
run: |
echo "🔍 Checking for merge conflicts..."
git fetch origin main
if ! git merge --no-commit --no-ff origin/main; then
echo "❌ Merge conflicts detected!"
git merge --abort || true
exit 1
fi
git merge --abort || true
echo "✅ No merge conflicts detected"
- name: Upload test results - name: Upload test results
if: always() if: always()