Skip to content

Use shell scripts generated from config_machines.xml #598

Use shell scripts generated from config_machines.xml

Use shell scripts generated from config_machines.xml #598

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

build_workflow.yml

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