Skip to content

add final deadline, fix formatting #435

add final deadline, fix formatting

add final deadline, fix formatting #435

Workflow file for this run

name: Publish the website
on:
push:
branches:
- main
jobs:
build-deploy:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v1
- name: Build the website
run: |
./build.sh
cd lectures
./build.sh
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_branch: gh-pages
publish_dir: ./build/
force_orphan: true