Skip to content
Whitespace

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

Sign in to view logs

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

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

Triggered via pull request November 2, 2024 12:55
@fattenederfatteneder
opened #56418
fatteneder:fa/docs-rm-leaf-types
Status Success
Total duration 31s
Artifacts –

Whitespace.yml

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