Skip to content

CHANGE: default pruning mode to minimal #3109

CHANGE: default pruning mode to minimal

CHANGE: default pruning mode to minimal #3109

Triggered via pull request November 14, 2025 10:12
Status Success
Total duration 1m 7s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in