Change names

faucetsdn · Oct 29, 2024 · 104be0d · 104be0d
1 parent 26dd9e6
commit 104be0d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/integration.yaml b/.github/workflows/integration.yaml
@@ -149,9 +149,10 @@ jobs:
       IMAGE_NAME: ${{ github.repository }}
       REF_NAME: ${{ github.ref_name }}
     steps:
-      - name: Setup Environment
+      - name: Execute discovery node
         run: |
           export IMAGE_TAG=ghcr.io/$IMAGE_NAME:misc-$REF_NAME
+          # This currently fails (no config), but just check that it actually runs.
           docker run $IMAGE_TAG discoverynode/bin/run | fgrep "Loading config"
 
   udmif: