Update JDK11 #812
Workflow file for this run
This file contains 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: | |
| - master | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: coursier/cache-action@v6 | |
| - name: Set up Docker Build | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Login to GitHub Container Registry | |
| uses: docker/login-action@v3 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: PDF build | |
| run: | | |
| sudo chown -R root:root $GITHUB_WORKSPACE | |
| docker-compose up --abort-on-container-exit | |
| - name: Push PDF file | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: scala_text pdf | |
| path: scala_text.pdf | |
| release: | |
| name: Publish artifact to gh-pages | |
| if: github.ref == 'refs/heads/master' | |
| needs: build | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Download PDF | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: scala_text pdf | |
| path: ./build/ | |
| - name: Deploy to gh-pages | |
| uses: JamesIves/[email protected] | |
| with: | |
| branch: gh-pages | |
| folder: build | |
| target-folder: ./ | |
| clean: true | |