diff --git a/.github/workflows/05.1.readme_sync.yml b/.github/workflows/05.1.readme_sync.yml index d0e17ce5..2f3e00cc 100644 --- a/.github/workflows/05.1.readme_sync.yml +++ b/.github/workflows/05.1.readme_sync.yml @@ -7,6 +7,7 @@ on: paths-ignore: - 'README.md' - 'data/inventory.yaml' + - 'data/inventory.sql' - 'docs/**' - 'v2-docs/**' workflow_dispatch: # Permite ejecución manual desde la pestaña Actions diff --git a/.github/workflows/07.1.pr_guardian.yml b/.github/workflows/07.1.pr_guardian.yml index 9974c2a0..f85b21f2 100644 --- a/.github/workflows/07.1.pr_guardian.yml +++ b/.github/workflows/07.1.pr_guardian.yml @@ -64,7 +64,7 @@ jobs: # caused a perpetual cosmetic develop<->master drift (see pr_guardian.py). git add docs/ README.md data/inventory.yaml data/inventory.sql src/memory/ if ! git diff --cached --quiet; then - git commit -m "style(cleaner): auto-correcting formatting & URL normalization" + git commit -m "style(cleaner): auto-correcting formatting & URL normalization [skip ci]" git push origin HEAD:${{ github.event.pull_request.head.ref }} || echo "⚠️ Push failed (likely fork permission limit)." else echo "No formatting changes to commit."