Skip to content

inetd is gone

inetd is gone #177

Workflow file for this run

name: Compile sanity check
on:
push:
branches:
- master
paths:
- '**.tex'
- '**.m4'
- '**.sty'
- Makefile
- .github/workflows/compile.yml
- 'img/**'
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Update the system
run: sudo apt-get -qq update
- name: Checkout master branch
uses: actions/checkout@v2
with:
path: master
- name: Install pre-requisites for LaTeX
working-directory: master
run: ./dev/install-latex.sh
- name: Install pre-requisites for spell check
working-directory: master
run: ./dev/install-spellcheck.sh
- name: Check labels
working-directory: master
run: ./dev/check-label.sh
- name: Run spellcheck
working-directory: master
run: make spellcheck
- name: Compile
working-directory: master
run: make slides notes