Skip to content

Write an introduction to the README #40

Write an introduction to the README

Write an introduction to the README #40

Workflow file for this run

name: Build the manual with mdBook
on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Install mdBook
run: |
mkdir -p $HOME/.local/bin/
curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.40/mdbook-v0.4.40-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=$HOME/.local/bin/
- name: Build the manual
run: |
cd res/manual
mdbook build