Build Book

Merge branch 'main' into use-quantifiers #51

Triggered via push August 12, 2025 16:26

use-quantifiers

Status Success

Total duration 6m 54s

Artifacts 1

book.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	2.6 MB	`sha256:d78bc70ffc41c0323ea7d5522a5351c1a446c38b5d60ef67542a8c0b6eff8539`