You've already forked library-registry
mirror of
https://github.com/arduino/library-registry.git
synced 2025-07-07 14:41:10 +03:00
Bump arduino/library-manager-submission-parser
version
A new release of the `arduino/library-manager-submission-parser` tool used by the "Manage PRs" workflow has been made. This release fixes a bug that caused pull requests that consisted only of newlines to be incorrectly classified as "modification", resulting in an unexpected failure of the workflow run due to there being no library URLs to populate the `check-submissions` job matrix: ``` Error when evaluating 'strategy' for job 'check-submissions'. (Line: 219, Col: 21): Unexpected value '' ``` These pull requests will now be assigned the appropriate "other" request type and the workflow run will pass as expected, requesting the necessary manual review from a maintainer.
This commit is contained in:
2
.github/workflows/manage-prs.yml
vendored
2
.github/workflows/manage-prs.yml
vendored
@ -1,7 +1,7 @@
|
||||
name: Manage PRs
|
||||
|
||||
env:
|
||||
SUBMISSION_PARSER_VERSION: 1.1.0 # See: https://github.com/arduino/library-manager-submission-parser/releases
|
||||
SUBMISSION_PARSER_VERSION: 1.1.1 # See: https://github.com/arduino/library-manager-submission-parser/releases
|
||||
MAINTAINERS: |
|
||||
# GitHub user names to request reviews from in cases where PRs can't be managed automatically.
|
||||
- per1234
|
||||
|
Reference in New Issue
Block a user