Skip to content

Pages

Pages #116

Workflow file for this run

name: Pages
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
schedule:
# Run every Sunday at 6pm
- cron: '0 18 * * 0'
jobs:
build:
runs-on: ubuntu-latest
strategy:
fail-fast: true
steps:
- name: Check out repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
- name: Building website
run: |
python generate_website.py
- name: Saving website
uses: actions/upload-pages-artifact@main
with:
path: public/
deploy:
runs-on: ubuntu-latest
if: >-
github.event_name == 'push' ||
github.event_name == 'schedule'
needs: build
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4