mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-19 21:11:57 -04:00
Update GNU ARM Toolchain demo workflow (#726)
* Update GNU ARM Toolchain demo workflow --------- Co-authored-by: Paul Bartell <paul.bartell@gmail.com>
This commit is contained in:
parent
1544768719
commit
95c638b39b
17
.github/workflows/kernel-demos.yml
vendored
17
.github/workflows/kernel-demos.yml
vendored
|
@ -123,9 +123,22 @@ jobs:
|
||||||
with:
|
with:
|
||||||
ref: main
|
ref: main
|
||||||
repository: FreeRTOS/FreeRTOS
|
repository: FreeRTOS/FreeRTOS
|
||||||
submodules: 'recursive'
|
|
||||||
fetch-depth: 1
|
fetch-depth: 1
|
||||||
|
|
||||||
|
- name: Fetch Community-Supported-Demos Submodule
|
||||||
|
shell: bash
|
||||||
|
run: |
|
||||||
|
# Fetch Community-Supported-Demos Submodule
|
||||||
|
echo "::group::Fetch Community-Supported-Demos Submodule"
|
||||||
|
git submodule update --checkout --init --depth 1 FreeRTOS/Demo/ThirdParty/Community-Supported-Demos
|
||||||
|
echo "::engdroup::"
|
||||||
|
if [ "$?" = "0" ]; then
|
||||||
|
echo -e "\033[32;3mCloned the Community-Supported-Demos\033[0m"
|
||||||
|
else
|
||||||
|
echo -e "\033[32;31mCommunity-Supported-Demos Clone Failed...\033[0m"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
# Checkout user pull request changes
|
# Checkout user pull request changes
|
||||||
- name: Checkout Pull Request
|
- name: Checkout Pull Request
|
||||||
uses: actions/checkout@v2
|
uses: actions/checkout@v2
|
||||||
|
@ -169,7 +182,7 @@ jobs:
|
||||||
|
|
||||||
- name: Build CORTEX_M0+_RP2040 Demos
|
- name: Build CORTEX_M0+_RP2040 Demos
|
||||||
shell: bash
|
shell: bash
|
||||||
working-directory: FreeRTOS/Demo/ThirdParty/Community-Supported/CORTEX_M0+_RP2040
|
working-directory: FreeRTOS/Demo/ThirdParty/Community-Supported-Demos/CORTEX_M0+_RP2040
|
||||||
run: |
|
run: |
|
||||||
git clone https://github.com/raspberrypi/pico-sdk.git
|
git clone https://github.com/raspberrypi/pico-sdk.git
|
||||||
cmake -B build -DPICO_SDK_PATH=pico-sdk -GNinja
|
cmake -B build -DPICO_SDK_PATH=pico-sdk -GNinja
|
||||||
|
|
Loading…
Reference in a new issue