Closed per1234 closed 3 years ago
On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.
Preview of the changes that would result if merged: https://github.com/arduino/arduino-preprocessor/pull/15/checks?check_run_id=3702946870#step:9:15
On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.
Preview of the changes that would result if merged: https://github.com/arduino/arduino-preprocessor/pull/15/checks?check_run_id=3702946870#step:9:15