arduino/library-registry
1
0
Fork 0
mirror of https://github.com/arduino/library-registry.git synced 2025-07-05 21:21:14 +03:00
Code Activity

Merge pull request #28 from arduino/clone-folder

Browse Source 
Clone submission to folder named after repository
This commit is contained in:
per1234
2021-05-03 06:51:19 -07:00
committed by GitHub
parent 7eb1618569 fb15582bf7
commit 94f7da9a94
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/manage-prs.yml vendored
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