Skip to content

Refresh

Refresh #1511

Workflow file for this run

# File: .github/workflows/refresh.yml
name: Refresh
on:
schedule:
- cron: '0 16 * * *' # Runs every day at 9am PT (4pm Z)
jobs:
refresh:
runs-on: ubuntu-latest
steps:
- name: Trigger GitHub pages rebuild
run: |
curl --fail --request POST \
--url https://api.github.com/repos/${{ github.repository }}/pages/builds \
--header "Authorization: Bearer $USER_TOKEN"
env:
# You must create a personal token with repo access as GitHub does
# not yet support server-to-server page builds.
USER_TOKEN: ${{ secrets.USER_TOKEN }}