Skip to content

add mermaid to ci

add mermaid to ci #7

Workflow file for this run

name: Compile and Publish Test Pages and Releases
on:
push:
branches:
- main
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Install Racket
uses: Bogdanp/setup-racket@v1.7
with:
architecture: "x64"
distribution: "full"
variant: "CS"
version: "stable"
- name: Create Documentation
run: make doc
- uses: JamesIves/github-pages-deploy-action@4.1.7
with:
branch: gh-pages
folder: docs/book