Merge pull request 'demo r20: test roto — el CI debe dar ROJO' (#43) from demo-rojo-r20 into main
ci / lint-test (push) Successful in 8s

This commit was merged in pull request #43.
This commit is contained in:
2026-11-02 12:55:04 +00:00
+2
View File
@@ -0,0 +1,2 @@
def test_rojo_demo():
assert False, "rompe a proposito — verifica pipefail del CI (r20)"