Skip to content

Merge pull request #85 from kbuzzard/master #528

Merge pull request #85 from kbuzzard/master

Merge pull request #85 from kbuzzard/master #528

Workflow file for this run

name: deploy site
on:
push:
branches-ignore:
- 'deploy'
# schedule:
# - cron: '0 4 * * *'
jobs:
build:
name: Build HTML
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: install Python
uses: actions/setup-python@v1
with:
python-version: 3.9
- name: install Python dependencies
run: python -m pip install -r requirements.txt
- name: build site
run: ./deploy.sh
env:
git_hash: ${{ github.sha }}
DEPLOY_GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# DEPLOY_GITHUB_USER: leanprover-community-bot
github_repo: ${{ github.repository }}
github_ref: ${{ github.ref }}