update_gh_pages.yml

# This needs to stay in sync with the results.yml workflow in results-analysis,
# since both repos check out results-analysis and run the same code. This setup
# is to avoid having a secret access token to allow a workflow in one repo to
# push to the other repo.
name: Update gh-pages
on:
  # Trigger every three hours, or manually.
  schedule:
    - cron: '20 */3 * * *'
  workflow_dispatch:
jobs:
  update-gh-pages:
    runs-on: ubuntu-22.04
    steps:
    - uses: actions/checkout@v4

    - uses: awalsh128/cache-apt-pkgs-action@v1
      with:
        packages: libssl-dev libkrb5-dev
        version: 1.0

    - name: Setup Node.js
      uses: actions/setup-node@v4
      with:
        node-version: '18'
        cache: 'npm'

    - name: Install dependencies
      run: npm ci

    - name: Build
      run: ./build.sh

    - name: Deploy to gh-pages/
      uses: JamesIves/github-pages-deploy-action@releases/v3
      with:
        ACCESS_TOKEN: ${{ secrets.ACCESS_TOKEN }}
        BRANCH: gh-pages
        FOLDER: out