Skip to content

Merge pull request #983 from per1234/bump-x_tools #571

Merge pull request #983 from per1234/bump-x_tools

Merge pull request #983 from per1234/bump-x_tools #571

Triggered via push October 30, 2025 11:47
Status Success
Total duration 49s
Artifacts
run-determination
4s
run-determination
Matrix: executable
Matrix: formatting
Matrix: lint
Fit to window
Zoom out
Zoom in