Skip to content

man: remove tools.go in favor of tools directive #9502

man: remove tools.go in favor of tools directive

man: remove tools.go in favor of tools directive #9502

Triggered via pull request June 10, 2026 09:50
Status Success
Total duration 2m 11s
Artifacts –

validate.yml

on: pull_request
Matrix: validate-make
Matrix: validate
Fit to window
Zoom out
Zoom in