Build and Deploy Pages #52
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: Build and Deploy Pages | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - master | |
| schedule: | |
| - cron: '0 6 * * *' | |
| workflow_dispatch: | |
| concurrency: | |
| group: github-pages | |
| cancel-in-progress: true | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| jobs: | |
| build-pages: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout project | |
| uses: actions/checkout@v6 | |
| # See https://github.com/leanprover-community/upstreaming-dashboard-action | |
| # for more details on how this action works and its parameters | |
| - name: Generate upstream dashboard snippets | |
| uses: leanprover-community/upstreaming-dashboard-action@e3ee7dc54fd376f093ef62973d7b04cf7beabad0 | |
| with: | |
| website-directory: website | |
| project-name: Project | |
| branch-name: ${{ github.event.repository.default_branch }} | |
| # include-drafts: false # Include draft PRs in the dashboard? | |
| # relevant-labels: "label1,label2" # Group PRs by 'relevant' based on these labels | |
| - name: Configure Pages | |
| uses: actions/configure-pages@v6 | |
| - name: Build with Jekyll | |
| uses: actions/jekyll-build-pages@v1 | |
| with: | |
| source: website | |
| destination: ./_site | |
| - name: Upload Pages artifact | |
| uses: actions/upload-pages-artifact@v5 | |
| with: | |
| path: ./_site | |
| deploy-pages: | |
| runs-on: ubuntu-latest | |
| needs: build-pages | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v5 |