General bump #1254
Workflow file for this run
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: Documentation | |
| # Run on every push to main and every change on pull requests | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| jobs: | |
| scaladoc: | |
| name: "Scaladoc" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Scair | |
| uses: actions/checkout@v4 | |
| # Restore Mill's incremental build cache | |
| # - name: Restore Incremental Build Cache | |
| # uses: actions/cache@v4 | |
| # with: | |
| # path: ./out | |
| # # Caches are immutable; we need to uniquely identify them to always push the recent ones | |
| # # There is an LRU-like policy in place on GitHub's side, capped at 10GB caches per repo | |
| # key: mill-incremental-docs-${{ github.run_id }}-${{ github.run_attempt }} | |
| # # When restoring, we restore the most recent one pushed by such a job | |
| # # Those are scoped by branch too; e.g., the most recent one from the main branch would | |
| # # be fetched in a fresh PR, then the most recent one from this PR. | |
| # restore-keys: | | |
| # mill-incremental-docs- | |
| - name: Generate documentation | |
| run: ./mill unidocSite | |
| - name: Upload static files as artifact | |
| id: deployment | |
| uses: actions/upload-pages-artifact@v3 # or specific "vX.X.X" version tag for this action | |
| with: | |
| path: out/unidocSite.dest/ | |
| deploy: | |
| name: "Deploy to GitHub Pages" | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| # Grant GITHUB_TOKEN the permissions required to make a Pages deployment | |
| permissions: | |
| pages: write # to deploy to Pages | |
| id-token: write # to verify the deployment originates from an appropriate source | |
| runs-on: ubuntu-latest | |
| needs: scaladoc | |
| if: github.ref == 'refs/heads/main' | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |