CoqDecks/deploy at 9114ba5272854943ba56ecb36837ed196ff172d2 - CoqDecks - Alocoq Git

alois/CoqDecks

Files

T

History

claude 9114ba5272

Build and push CoqDecks / build (push) Successful in 26s

Details

Fix ManyDecks config: db → connection (matches server's config.connection)

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-06-29 23:04:00 +00:00

..

Fix ManyDecks config: db → connection (matches server's config.connection)

2026-06-29 23:04:00 +00:00