Skip to content

Convert _tools/ from committed directories to proper git submodules #10

Convert _tools/ from committed directories to proper git submodules

Convert _tools/ from committed directories to proper git submodules #10

Triggered via push February 5, 2026 16:21
Status Success
Total duration 19s
Artifacts

build-pr.yml

on: push
detect-plugins
6s
detect-plugins
Matrix: build-linux
Matrix: build-macos
Matrix: build-windows
summary
4s
summary
Fit to window
Zoom out
Zoom in