2a60b2dba6
Build and push CoqDecks / build (push) Successful in 28s
The server doesn't expose a known health endpoint, so use a TCP socket check on port 8083 instead — this unblocks Service routing. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>