Skip to content

Use shell scripts generated from config_machines.xml #599

Use shell scripts generated from config_machines.xml

Use shell scripts generated from config_machines.xml #599

Triggered via pull request October 24, 2025 11:42
Status Success
Total duration 19s
Artifacts

build_workflow.yml

on: pull_request
lint with pre-commit
7s
lint with pre-commit
Matrix: build
Fit to window
Zoom out
Zoom in