Skip to content

Use shell scripts generated from config_machines.xml #571

Use shell scripts generated from config_machines.xml

Use shell scripts generated from config_machines.xml #571

Triggered via pull request October 16, 2025 10:45
Status Success
Total duration 1m 24s
Artifacts

build_workflow.yml

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

Annotations

6 warnings
lint with pre-commit
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
lint with pre-commit
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
lint with pre-commit
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
lint with pre-commit
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
lint with pre-commit
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
lint with pre-commit
Received event from pull_request, but also received a before(18fff55923d54cf3341707aef88a3094775f29c2) or after(76fc246309b1d906e855b6a762bbd4aa16cca754) value. I am assuming you want to use a Push event but forgot something, so I'm giving you a message.