From f9f8b605a8fb9e124d125fdc1a94f64b0aaf75f2 Mon Sep 17 00:00:00 2001
From: Christian Femers <femers@in.tum.de>
Date: Tue, 11 Feb 2020 02:25:29 +0100
Subject: [PATCH] GH-Actions clone submodules

---
 .github/workflows/maven.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 0eee55b4..d9ea203b 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -9,6 +9,12 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
+    - name: Checkout submodules # See https://github.com/actions/checkout#Checkout-submodules
+      shell: bash
+      run: |
+         auth_header="$(git config --local --get http.https://github.com/.extraheader)"
+         git submodule sync --recursive
+         git -c "http.extraheader=$auth_header" -c protocol.version=2 submodule update --init --force --recursive --depth=1
     - name: Set up JDK 11
       uses: actions/setup-java@v1
       with:
-- 
2.17.1