Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit d5d336c

Browse filesBrowse files
authored
Merge pull request #574 from giulcioffi/APIintegration
Package the core with latest release of ArduinoCore-API
2 parents 661b128 + 4c15cd0 commit d5d336c
Copy full SHA for d5d336c

File tree

1 file changed

+24
-19
lines changed
Filter options

1 file changed

+24
-19
lines changed

‎.github/workflows/release.yaml

Copy file name to clipboardExpand all lines: .github/workflows/release.yaml
+24-19Lines changed: 24 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,29 @@ jobs:
1313
- name: Checkout repository
1414
uses: actions/checkout@v2
1515

16+
- name: Checkout ArduinoCore-API
17+
uses: actions/checkout@v2
18+
with:
19+
repository: arduino/ArduinoCore-API
20+
path: extras/ArduinoCore-API
21+
22+
- name: Check if API should be compiled in the core
23+
id: checkapi
24+
run: |
25+
if [[ $(grep -r api platform.txt) ]]; then echo "::set-output name=IS_API::true"; fi
26+
27+
- name: Checkout latest tag of ArduinoCore-API and add it to the core
28+
run: |
29+
cd extras/ArduinoCore-API
30+
git fetch --tags
31+
git checkout $(git describe --tags $(git rev-list --tags --max-count=1))
32+
cd ../..
33+
mv "$GITHUB_WORKSPACE/extras/ArduinoCore-API/api" "$GITHUB_WORKSPACE/cores/arduino"
34+
if: steps.checkapi.outputs.IS_API == 'true'
35+
36+
- name: Remove ArduinoCore-API
37+
run: rm -r "$GITHUB_WORKSPACE/extras/ArduinoCore-API"
38+
1639
- name: Set env
1740
run: echo "TAG_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
1841

@@ -52,7 +75,7 @@ jobs:
5275
with:
5376
version: "0.14.0"
5477

55-
- name: Download new core
78+
- name: Download and verify new core
5679
run: |
5780
export PATH=$PATH:$PWD
5881
arduino-cli version
@@ -63,24 +86,6 @@ jobs:
6386
arduino-cli config dump -v
6487
arduino-cli core update-index -v
6588
arduino-cli core install arduino:${ARCHITECTURE}@${TAG_VERSION}
66-
67-
- name: Checkout ArduinoCore-API
68-
uses: actions/checkout@v2
69-
with:
70-
repository: arduino/ArduinoCore-API
71-
path: extras/ArduinoCore-API
72-
73-
- name: Check if API should be compiled in the core
74-
id: checkapi
75-
run: |
76-
if [[ $(grep -r api platform.txt) ]]; then echo "::set-output name=IS_API::true"; fi
77-
78-
- name: Integrate ArduinoCore-API
79-
run: mv "$GITHUB_WORKSPACE/extras/ArduinoCore-API/api" "$GITHUB_WORKSPACE/packages/arduino/hardware/${ARCHITECTURE}/${TAG_VERSION}/cores/arduino"
80-
if: steps.checkapi.outputs.IS_API == 'true'
81-
82-
- name: Verify new core
83-
run: |
8489
INDEX=0
8590
arduino-cli board listall --format=json > boardlist.json
8691
N=$(jq '.boards | length' boardlist.json)

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.