Skip to content

tweak general appearance of website #15

tweak general appearance of website

tweak general appearance of website #15

Workflow file for this run

name: Test Website Build
on:
push:
pull_request:
defaults:
run:
# reference: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#using-a-specific-shell
shell: bash --noprofile --norc -eo pipefail -x {0}
permissions:
contents: read
jobs:
test-website-build:
runs-on: ubuntu-20.04
steps:
- name: checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Build website
run: |
make build