Skip to content
Whitespace

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

Sign in to view logs

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

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

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

Whitespace.yml

on: pull_request
Check whitespace
8s
Check whitespace
Fit to window
Zoom out
Zoom in