Skip to content
Prepare documentation PR preview

Make user_type extensible and allow default user_type to be set #876

Sign in to view logs

Make user_type extensible and allow default user_type to be set

Make user_type extensible and allow default user_type to be set #876

Triggered via pull request June 3, 2025 11:07
@hughnshughns
synchronize #18456
hughns/extensible-user-types
Status Success
Total duration 52s
Artifacts 1

docs-pr.yaml

on: pull_request
GitHub Pages
44s
GitHub Pages
Check links in documentation
5s
Check links in documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
book Expired
3.84 MB
sha256:9f864811c54266d0ef189c897182fcd96e1a32c970242edb0a64513f69192313