build: tweak CI

This separates the build / test steps, so that it's easier to see what's happening.
crawl · Mar 21, 2024 · d2d68c7 · d2d68c7
1 parent baeed8e
commit d2d68c7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -15,9 +15,11 @@ jobs:
 
     # Try to build the testing-container setup and see if it can
     # be started healthily
-    - name: Docker container test
+    - name: Docker container build
       run: |
         utils/build-testing-container.sh --no-tty
+    - name: Docker container test
+      run: |
         docker run -d --privileged dgl-test --background
         sleep 32 # TODO: can we check this more quickly?
         docker ps --filter "health=healthy" | grep `docker ps -lq`