Skip to content
PR Checks

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

Sign in to view logs

fix: disable pruning of write/edit tools by default

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Type Check, Build & Audit
14s
14s