6af03923af
Build and push CoqDecks / build (push) Successful in 1m43s
Old server sends manyDecks as a single object; new server sends an array. Accept both so the client works during a rolling upgrade or if the server is older than the client. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>