Skip to content

repo actually uses "master" instead of "main" #3

repo actually uses "master" instead of "main"

repo actually uses "master" instead of "main" #3

Workflow file for this run

name: Publish to GitHub Pages
on:
push:
branches:
- master
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v1
- name: Install Emacs
run: sudo apt install emacs-nox --yes
- name: Build the site
run: ./build.sh
- name: Publish generated content to GitHub Pages
uses: JamesIves/github-pages-deploy-action@4.1.4
with:
branch: gh-pages
folder: public