Build the documentation

Add the Zuban Type Checker #1074

Sign in to view logs

Re-run triggered August 12, 2025 13:41

#2067

davidhalter:add-zuban

Status Success

Total duration 23s

Artifacts –

build-docs.yml

on: pull_request

Build documentation