Merge pull request 'ci: pipefail real (defaults.run.shell) + revert del test roto fusionado por falso verde' (#44) from ci-pipefail-real into main

Reviewed-on: #44
2026-11-02 17:13:03 +00:00
parent 3b8e1296e2 661ca844d0
commit 30d76fa565
2 changed files with 6 additions and 3 deletions
@@ -8,8 +8,13 @@ on:
 jobs:
  lint-test:
    runs-on: ubuntu-latest
+    # r20: pipefail a nivel job — un - run: set -o pipefail en paso aparte NO
+    # persiste (cada paso es un shell nuevo) y el test roto de la demo #43
+    # siguio dando verde hasta ser auto-mergeado a main.
+    defaults:
+      run:
+        shell: bash --noprofile --norc -eo pipefail {0}
    steps:
-      - run: set -o pipefail   # r19: sin esto, | tail se come los exit codes y un test roto da verde
      - uses: actions/checkout@v4
        with:
          fetch-depth: 1
@@ -1,2 +0,0 @@
-def test_rojo_demo():
-    assert False, "rompe a proposito — verifica pipefail del CI (r20)"