Merge remote-tracking branch 'phymbert/master' into hp/server/deps-ch…

…eck-TMP-2

# Conflicts:
#	.github/workflows/server.yml

.github/workflows/server.yml

@@ -44,24 +44,6 @@ jobs:
       options: --cpus 4
 
     steps:
-      - name: Clone
-        id: checkout
-        uses: actions/checkout@v3
-        with:
-          fetch-depth: 0
-
-      - name: Verify server deps
-        id: verify_server_deps
-        run: |
-          cd examples/server
-          ./deps.sh
-          not_ignored_files="$(git ls-files --others)"
-          if [ -n "${not_ignored_files}" ]; then
-            echo "Repository is dirty or server deps are not built as expected"
-            echo "${not_ignored_files}"
-            exit 1
-          fi
-
       - name: Dependencies
         id: depends
         run: |
@@ -72,10 +54,17 @@ jobs:
             git \
             cmake \
             python3-pip \
+            curl \
             wget \
             language-pack-en \
             libcurl4-openssl-dev
 
+      - name: Clone
+        id: checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
       - name: Verify server deps
         id: verify_server_deps
         run: |