Skip to content

Rename Docs.hasdoc to Docs.hasdocstring, to reduce ambiguity #15919

Rename Docs.hasdoc to Docs.hasdocstring, to reduce ambiguity

Rename Docs.hasdoc to Docs.hasdocstring, to reduce ambiguity #15919

Triggered via pull request January 3, 2024 23:46
Status Success
Total duration 25s
Artifacts

LabelCheck.yml

on: pull_request
Check for blocking labels
17s
Check for blocking labels
Fit to window
Zoom out
Zoom in