Skip to content

fix: disable pruning of write/edit tools by default #422

fix: disable pruning of write/edit tools by default

fix: disable pruning of write/edit tools by default #422

Triggered via pull request January 5, 2026 05:42
Status Success
Total duration 17s
Artifacts

pr-checks.yml

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