Build the book

Verif in agda done #866

Sign in to view logs

Triggered via push February 26, 2026 20:39

pierrecagne

master

Status Success

Total duration 4m 37s

Artifacts –

latexmk.yml

on: push