claudeandClaude Sonnet 4.6
ec51d2f8d8
Build and push CoqDecks / build (push) Failing after 10m31s
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>
95 lines
2.1 KiB
YAML
95 lines
2.1 KiB
YAML
apiVersion: v1
|
|
kind: ConfigMap
|
|
metadata:
|
|
name: manydecks-nginx-conf
|
|
namespace: jeux
|
|
data:
|
|
nginx.conf: |
|
|
user nginx;
|
|
worker_processes auto;
|
|
error_log /var/log/nginx/error.log warn;
|
|
pid /var/run/nginx.pid;
|
|
|
|
events {
|
|
worker_connections 1024;
|
|
}
|
|
|
|
http {
|
|
include /etc/nginx/mime.types;
|
|
default_type application/octet-stream;
|
|
sendfile on;
|
|
keepalive_timeout 65;
|
|
|
|
upstream manydecks_server {
|
|
server manydecks-server:8083;
|
|
}
|
|
|
|
server {
|
|
listen 8082;
|
|
|
|
root /usr/share/nginx/html;
|
|
index index.html;
|
|
|
|
location /api {
|
|
proxy_pass http://manydecks_server;
|
|
proxy_http_version 1.1;
|
|
proxy_set_header Upgrade $http_upgrade;
|
|
proxy_set_header Connection "upgrade";
|
|
proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for;
|
|
proxy_set_header Host $host;
|
|
}
|
|
|
|
location / {
|
|
try_files $uri $uri/ /index.html;
|
|
}
|
|
}
|
|
}
|
|
---
|
|
apiVersion: apps/v1
|
|
kind: Deployment
|
|
metadata:
|
|
name: manydecks-client
|
|
namespace: jeux
|
|
spec:
|
|
replicas: 1
|
|
selector:
|
|
matchLabels:
|
|
app: manydecks-client
|
|
template:
|
|
metadata:
|
|
labels:
|
|
app: manydecks-client
|
|
spec:
|
|
containers:
|
|
- name: client
|
|
image: registry.git.svc.cluster.local:5000/manycoqdecks-client:latest
|
|
ports:
|
|
- containerPort: 8082
|
|
volumeMounts:
|
|
- name: nginx-conf
|
|
mountPath: /etc/nginx/nginx.conf
|
|
subPath: nginx.conf
|
|
resources:
|
|
requests:
|
|
memory: 32Mi
|
|
cpu: 10m
|
|
limits:
|
|
memory: 64Mi
|
|
cpu: 100m
|
|
volumes:
|
|
- name: nginx-conf
|
|
configMap:
|
|
name: manydecks-nginx-conf
|
|
---
|
|
apiVersion: v1
|
|
kind: Service
|
|
metadata:
|
|
name: manydecks-client
|
|
namespace: jeux
|
|
spec:
|
|
selector:
|
|
app: manydecks-client
|
|
ports:
|
|
- port: 8082
|
|
targetPort: 8082
|