Skip to content

Update versions

Update versions #2

Workflow file for this run

name: github pages
on:
push:
branches:
- master
jobs:
build-deploy:
runs-on: ubuntu-18.04
steps:
- uses: actions/checkout@master
with:
submodules: true
- name: build
run: |
export PATH=${PATH}:${HOME}/bin
make github-pages
- name: deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GH_ACTIONS_TOKEN }}
publish_dir: ./docs/public
cname: fabiolb.net