Skip to content
Deploy docs

Merge pull request #120 from HendrikBorgelt/clean-up-the-schema #112

Sign in to view logs

Merge pull request #120 from HendrikBorgelt/clean-up-the-schema

Merge pull request #120 from HendrikBorgelt/clean-up-the-schema #112

Triggered via push July 14, 2026 13:26
@HendrikBorgeltHendrikBorgelt
pushed bcd9e34
main
Status Success
Total duration 1m 19s
Artifacts –

deploy-docs.yaml

on: push
build-docs
1m 16s
build-docs
Fit to window
Zoom out
Zoom in