mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-20 13:27:18 +00:00
1e469627b4
The "Arduino IDE" workflow performs the following operations when triggered on push and pull request events: - Build application - Lint code - Run tests - Produce tester packages All of these operations are specific to the TypeScript/JavaScript code base and its infrastructure. Previously, the workflow ran whenever any file in the repository was changed. This includes files that have no relevance, meaning the operations performed by the workflow were pointless. In addition to general inefficiency, these lengthy and sometimes spuriously failing unnecessary workflow runs might cause delay or confusion to both the contributors and maintainers for what would otherwise be a simple process. GitHub Actions provides the ability to configure path filters for the workflow triggers. The workflow will only run on events that change files satisfying these path filters. This is "AND"ed with the `branches` filters, meaning the existing restrictions on which branches produce a run remain unchanged. The `tags` filter is independent from the `paths` and `branches` filters, meaning the added path filters don't make any change to which tag push events will trigger the workflow.