Skip to content

Update README.md

Update README.md #503

Workflow file for this run

on:
- push
jobs:
build-and-test:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@main
- name: Install dependencies
run: |
curl -Ls https://github.com/jgm/pandoc/releases/download/2.11.2/pandoc-2.11.2-1-amd64.deb -o pandoc.deb
sudo dpkg -i pandoc.deb
sudo apt-get install nasm
sudo apt-get install fonts-stix
- name: Install Racket
uses: Bogdanp/[email protected]
with:
architecture: "x64"
distribution: "full"
variant: "CS"
version: "7.9"
- name: Build and test
run: |
make -C docs main
- name: Archive docs
uses: actions/upload-artifact@v2
with:
name: docs
path: docs/main
deploy:
needs: build-and-test
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/master'
steps:
- name: Download docs
uses: actions/download-artifact@v2
with:
name: docs
path: flock
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/master' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./flock