#!/bin/sh set -eu manifest=http://127.0.0.1:5480/api/knowledge for attempt in $(seq 1 60); do if curl -fsS "$manifest" >/dev/null 2>&1; then echo "network data ready: $(curl -fsS "$manifest" | head -c 200)" exit 0 fi sleep 10 done echo "::warning::the server built no network data in ten minutes; the apps embed the provider map alone"