Files
claude ec51d2f8d8
Build and push CoqDecks / build (push) Failing after 10m31s
Switch ManyDecks deploy to ManyCoqDecks custom images
Update server and client to use images from the local registry
built by the ManyCoqDecks CI pipeline (adds local username/password auth).
Update secrets.example.yaml with local auth config instructions.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-06-30 09:05:59 +00:00
..