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@v5

      - name: Build with Jekyll
        uses: actions/jekyll-build-pages@v1
        with:
          source: website
          destination: ./_site

      - name: Upload Pages artifact
        uses: actions/upload-pages-artifact@v4
        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