Lint

fix: make the refresh_tree() cascade best-effort #94

Sign in to view logs

Triggered via pull request August 7, 2026 14:30

dcj

opened #42

fix/refresh-tree-best-effort

Status Success

Total duration 13s

Artifacts –

lint.yml

on: pull_request