alois/CoqDecks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
be2d157b2ff6e0bc7adbce37fc4f3ae54c2d1f1f
CoqDecks/deploy
T
History
claude be2d157b2f
Build and push CoqDecks / build (push) Failing after 10m53s
Details
Fix manydecks guest auth key: guests -> guest (singular) 
Server reads config.auth.guest, not config.auth.guests.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-06-30 08:11:00 +00:00
..
manydecks
Fix manydecks guest auth key: guests -> guest (singular)
2026-06-30 08:11:00 +00:00