Build the book

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

Sign in to view logs

Triggered via push May 6, 2025 18:11

marcbezem

master

Status Success

Total duration 3m 53s

Artifacts –

latexmk.yml

on: push