Skip to content

Update gh-pages

Update gh-pages #7546

# 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