workflows/deploy: Point to new DNS host IP

.gitea/workflows/build-test-deploy.yaml

@@ -97,7 +97,7 @@ jobs:
 
       - name: Replace placeholder serial
         run: |
-          SERIAL_OLD="$(dig +short "@${{ vars.SSH_HOST }}" SOA pvv.ntnu.no | cut -d" " -f3)"
+          SERIAL_OLD="$(dig +short "@${{ vars.DNS_HOST }}" SOA pvv.ntnu.no | cut -d" " -f3)"
           if [[ -z "$SERIAL_OLD" || ! "$SERIAL_OLD" =~ ^[0-9]+$ || $SERIAL_OLD -lt 1970010101 || $SERIAL_OLD -gt 3000000000 ]]; then
             echo "Error: SERIAL_OLD='$SERIAL_OLD' does not look reasonable"
             exit 1
@@ -156,7 +156,7 @@ jobs:
 
       - name: Verifying operation
         run: |
-          SERIAL_ACTIVE="$(dig +short "@${{ vars.SSH_HOST }}" SOA pvv.ntnu.no | cut -d" " -f3)"
+          SERIAL_ACTIVE="$(dig +short "@${{ vars.DNS_HOST }}" SOA pvv.ntnu.no | cut -d" " -f3)"
           if [[ "$(cat /tmp/serial_new)" == "$SERIAL_ACTIVE" ]]
           then
             echo "Update successful, server reports new active serial number '$SERIAL_ACTIVE'"