Skip to content

Fix Makefile rebuilding all tools when any tool is installed #2064

Fix Makefile rebuilding all tools when any tool is installed

Fix Makefile rebuilding all tools when any tool is installed #2064

Triggered via pull request March 11, 2026 13:21
Status Success
Total duration 2m 18s
Artifacts

ci.yaml

on: pull_request
Matrix: CI
Fit to window
Zoom out
Zoom in