Skip to content

Week report 25

Week report 25 #748

Workflow file for this run

name: Figures
on:
push:
branches: ["main"]
pull_request:
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- run: npm install -g @mermaid-js/[email protected]
- run: sudo apt-get install -y graphviz parallel
- name: Ensure generated files are up to date
run: ./scripts/ensure-generated.sh