render.yml

name: Render site

# Controls when the action will run.
on:
  # Triggers the workflow on push or pull request events but only for the main branch
  push:
    branches: [main]
  schedule:
    - cron: "0 15 * * *"

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:

jobs:
  render:
    # Prepares the 'bazelversion' axis of the test matrix
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3

      - name: Generate
        run: ./scripts/render_ghpages.sh
        env:
          OUTPUT_ROOT: ./public

      - name: Deploy
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          # The gitstats/ folder isn't generated by the script, because it's slow.
          # For now, just leave those files alone when publishing.
          keep_files: true
          # Let GitHub Pages crawl our markdown and build a site
          enable_jekyll: true