Skip to content

Merge pull request #47 from Tarquinen/feat/rename-pruning-tool #67

Merge pull request #47 from Tarquinen/feat/rename-pruning-tool

Merge pull request #47 from Tarquinen/feat/rename-pruning-tool #67

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

pr-checks.yml

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