Skip to content

Rename output tree to obj tree #293

Rename output tree to obj tree

Rename output tree to obj tree #293

Triggered via pull request December 2, 2025 14:52
Status Success
Total duration 15s
Artifacts

ci.yaml

on: pull_request
Fit to window
Zoom out
Zoom in