Skip to content

feat: rename pruning tool to 'prune (DCP)' and make protectedTools additive #66

feat: rename pruning tool to 'prune (DCP)' and make protectedTools additive

feat: rename pruning tool to 'prune (DCP)' and make protectedTools additive #66

Triggered via pull request December 1, 2025 02:16
Status Success
Total duration 17s
Artifacts

pr-checks.yml

on: pull_request
Type Check, Build & Audit
13s
Type Check, Build & Audit
Fit to window
Zoom out
Zoom in