1
0
mirror of https://github.com/arduino/library-registry.git synced 2025-07-29 14:01:15 +03:00

Clone submission to folder named after repository

The library folder name is a factor in the Arduino Lint results. Although the library.properties `name` value is used for
the Library Manager installation path, Arduino Lint rules also consider manual installation of libraries. These results
will be most accurate if the library is located in a folder named after the repository.
This commit is contained in:
per1234
2021-05-03 05:39:45 -07:00
parent 7eb1618569
commit fb15582bf7

View File

@ -1,7 +1,7 @@
name: Manage PRs
env:
SUBMISSION_PARSER_VERSION: 1.0.0-rc5 # See: https://github.com/arduino/library-manager-submission-parser/releases
SUBMISSION_PARSER_VERSION: 1.0.0-rc6 # See: https://github.com/arduino/library-manager-submission-parser/releases
on:
# pull_request_target trigger is used instead of pull_request so the token will have the write permissions needed to
@ -214,7 +214,7 @@ jobs:
git clone \
--branch ${{ matrix.submission.tag }} \
--depth 1 ${{ matrix.submission.normalizedURL }} \
"${{ matrix.submission.name }}"
"${{ matrix.submission.repositoryName }}"
- name: Lint submission
id: arduino-lint
@ -229,7 +229,7 @@ jobs:
--project-type=library \
--recursive=false \
--report-file="${{ env.JSON_REPORT_PATH }}" \
"${{ matrix.submission.name }}" > \
"${{ matrix.submission.repositoryName }}" > \
"${{ env.TEXT_REPORT_PATH }}"
- name: Read Arduino Lint reports