From 354e7c83329ef4a1b5818de2f44e3a4f86c60437 Mon Sep 17 00:00:00 2001
From: Szymon Janc <szymon.janc@codecoup.pl>
Date: Thu, 2 Feb 2023 22:45:12 +0100
Subject: [PATCH] ci: Build RIOT port

Building against RIOT master branch and thus this is allowed to fail.
---
 .github/workflows/build_ports.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_ports.yml b/.github/workflows/build_ports.yml
index 0d30d453f..727016d91 100644
--- a/.github/workflows/build_ports.yml
+++ b/.github/workflows/build_ports.yml
@@ -27,12 +27,24 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
+      - uses: carlosperate/arm-none-eabi-gcc-action@48db4484a55750df7a0ccca63347fcdea6534d78
+        with:
+          release: '12.2.Rel1'
       - name: Install Dependencies
         run: |
              sudo apt-get update
              sudo apt-get install -y make ccache gcc-multilib g++-multilib
-      - name: Build ports
+      - name: Build example ports
         run: |
              make -C porting/examples/dummy/ clean all
              make -C porting/examples/linux/ clean all
              make -C porting/examples/linux_blemesh/ clean all
+      - name: Build RIOT port
+        if: success() || failure()
+        continue-on-error: true
+        run: |
+             git clone --depth=1 https://github.com/RIOT-OS/RIOT
+             rm RIOT/pkg/nimble/patches/ -rf
+             sed -i 's|PKG_URL.*|PKG_URL = '$(pwd)'|' RIOT/pkg/nimble/Makefile
+             sed -i 's|PKG_VERSION.*|PKG_VERSION = '${{ github.sha }}'|' RIOT/pkg/nimble/Makefile
+             make -C RIOT/examples/nimble_gatt