oficina / estilo Public
| 1 | #!/bin/sh |
| 2 | # One step of estilo's CI. It runs a Makefile target rather than its own |
| 3 | # copy of the commands, so CI and the local gate stay ONE definition: |
| 4 | # `make test` runs these same targets in this same order, and |
| 5 | # `make test-modcache` is exactly what CI runs here. Debugging CI is |
| 6 | # running it. |
| 7 | set -eu |
| 8 | exec make test-modcache |
| 9 |