Build the book

Merge branch 'master' of github.com:UniMath/SymmetryBook #856

Sign in to view logs

Triggered via push November 27, 2025 14:43

marcbezem

master

Status Success

Total duration 4m 31s

Artifacts –

latexmk.yml

on: push