Skip to content

Prune parameter-free subtrees; reach param_source through the children hook #563

Prune parameter-free subtrees; reach param_source through the children hook

Prune parameter-free subtrees; reach param_source through the children hook #563

Triggered via pull request September 19, 2026 17:22
Status Success
Total duration 21s
Artifacts –

formatting.yml

on: pull_request
Fit to window
Zoom out
Zoom in