Files
claudeandClaude Sonnet 4.6 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

59 lines
1.3 KiB
YAML

apiVersion: apps/v1
kind: Deployment
metadata:
name: manydecks-server
namespace: jeux
spec:
replicas: 1
selector:
matchLabels:
app: manydecks-server
template:
metadata:
labels:
app: manydecks-server
spec:
containers:
- name: server
image: registry.git.svc.cluster.local:5000/manycoqdecks-server:latest
env:
- name: NODE_ENV
value: production
volumeMounts:
- name: config
mountPath: /md/config.json5
subPath: config.json5
ports:
- containerPort: 8083
resources:
requests:
memory: 64Mi
cpu: 50m
limits:
memory: 256Mi
cpu: 500m
readinessProbe:
tcpSocket:
port: 8083
initialDelaySeconds: 10
periodSeconds: 10
volumes:
- name: config
secret:
secretName: manydecks-secrets
items:
- key: config.json5
path: config.json5
---
apiVersion: v1
kind: Service
metadata:
name: manydecks-server
namespace: jeux
spec:
selector:
app: manydecks-server
ports:
- port: 8083
targetPort: 8083