Bump version to 1.3.39 #43
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| pull_request: | |
| push: | |
| branches: [ main ] | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| # Prefer Makefile targets; this is intentionally generic. | |
| - name: Run checks | |
| run: | | |
| set -e | |
| if make -n check >/dev/null 2>&1; then | |
| make check | |
| elif make -n lint >/dev/null 2>&1 && make -n test >/dev/null 2>&1; then | |
| make lint && make test | |
| else | |
| echo "No Makefile check/lint/test targets found; skipping." | |
| fi | |
| - name: Build runtime image (if Dockerfile present) | |
| run: | | |
| set -e | |
| if [ -f Dockerfile ]; then | |
| docker build --target runtime --tag webterm:ci . | |
| else | |
| echo "No Dockerfile found; skipping." | |
| fi |