Skip to content

build-gnu.sh: Use system tools #4781

build-gnu.sh: Use system tools

build-gnu.sh: Use system tools #4781

Triggered via pull request November 13, 2025 10:34
Status Success
Total duration 37s
Artifacts

FixPR.yml

on: pull_request
Matrix: Update/dependencies
Fit to window
Zoom out
Zoom in