Build Book

Merge branch 'main' into use-quantifiers #56

Triggered via push August 20, 2025 12:33

tautschnig

use-quantifiers

Status Success

Total duration 6m 43s

Artifacts 1

book.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	2.64 MB	`sha256:2473b8e2652b3053c29953022baa4fedf8be8317fb9e4f5fb9d901352215827b`