Files
claude 6af03923af
Build and push CoqDecks / build (push) Successful in 1m43s
Accept both array and single-object for manyDecks in client decoder
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>
2026-06-29 22:08:22 +00:00
..
2022-05-20 21:11:44 +01:00
2019-06-22 04:37:15 +01:00
2020-05-16 18:25:20 +01:00