Add type hints for pageLength #171

Triggered via push June 11, 2025 21:36

mwouts

main

Status Success

Total duration 3m 29s

Artifacts 1

publish-book.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	22.9 MB	`sha256:06af20cddff9602e36dd3195b0b979e98dd0f82218394320127a74e482389108`