Skip to content
Labels

docs: replace 'leaf types' with 'concrete types' #31627

Sign in to view logs

docs: replace 'leaf types' with 'concrete types'

docs: replace 'leaf types' with 'concrete types' #31627

Triggered via pull request November 3, 2024 09:40
@fattenederfatteneder
synchronize #56418
fatteneder:fa/docs-rm-leaf-types
Status Success
Total duration 24s
Artifacts –

LabelCheck.yml

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