From dcc5ca7e83c335da9bee176751cf2cd59d6f71a3 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Thu, 5 Jan 2023 11:12:17 +0100
Subject: [PATCH] .github/tools-buildtest: add job to aggregate all jobs
 results in one

---
 .github/workflows/tools-buildtest.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/tools-buildtest.yml b/.github/workflows/tools-buildtest.yml
index e4dbb005fc..35bc9e8dde 100644
--- a/.github/workflows/tools-buildtest.yml
+++ b/.github/workflows/tools-buildtest.yml
@@ -58,3 +58,10 @@ jobs:
       uses: aabadie/riot-action@main
       with:
         cmd: make -C ${{ matrix.tools.path }}/${{ matrix.tools.name }}
+  tools-build-success:
+    # this is only run if all jobs in tools-build succeeded
+    needs: tools-build
+    runs-on: ubuntu-latest
+    steps:
+    - name: tools-build succeeded
+      run: exit 0