Skip to content

Allow AdminExtractor to be used for abstract admins (#8118) #6939

Allow AdminExtractor to be used for abstract admins (#8118)

Allow AdminExtractor to be used for abstract admins (#8118) #6939

Triggered via push October 18, 2023 14:23
Status Success
Total duration 33s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Sphinx build
21s
Sphinx build
DOCtor-RST
11s
DOCtor-RST
Fit to window
Zoom out
Zoom in