Skip to content

Update head-team-responsibilities.md #101

Update head-team-responsibilities.md

Update head-team-responsibilities.md #101

Workflow file for this run

name: GitHub Pages Build
on:
push:
branches:
- main # Set a branch to deploy
jobs:
deploy:
runs-on: ubuntu-22.04 # change to ubuntu-latest if you want
steps:
- uses: actions/checkout@v2
with:
submodules: true # Fetch Hugo themes (true OR recursive)
fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod
- name: Setup Hugo
uses: peaceiris/actions-hugo@v2
with:
hugo-version: "0.102.3"
extended: true
- name: Build
run: hugo --minify
- name: Deploy to gh-pages branch
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_branch: gh-pages
cname: introlab.cs.princeton.edu
user_name: "github-actions[bot]"
user_email: "github-actions[bot]@users.noreply.github.com"
commit_message: ${{ github.event.head_commit.message }}