Actualiser .gitea/workflows/deploy.yml
Build and Deploy Jekyll / deploy (push) Successful in 42s

This commit is contained in:
2026-05-25 19:59:38 +00:00
parent b3c00734c2
commit 3b70949251
+4 -4
View File
@@ -47,10 +47,10 @@ jobs:
mkdir -p /workspace/image mkdir -p /workspace/image
cp -a /work/_site/. /workspace/image/ cp -a /work/_site/. /workspace/image/
cat > /workspace/image/Dockerfile <<'DOCKER' cat > /workspace/Dockerfile <<'DOCKER'
FROM nginx:alpine FROM nginx:alpine
RUN rm -rf /usr/share/nginx/html/* RUN rm -rf /usr/share/nginx/html/*
COPY . /usr/share/nginx/html/ COPY image/ /usr/share/nginx/html/
DOCKER DOCKER
volumeMounts: volumeMounts:
@@ -61,8 +61,8 @@ jobs:
- name: kaniko - name: kaniko
image: gcr.io/kaniko-project/executor:debug image: gcr.io/kaniko-project/executor:debug
args: args:
- --context=dir:///workspace/image - --context=dir:///workspace
- --dockerfile=/workspace/image/Dockerfile - --dockerfile=/workspace/Dockerfile
- --destination=registry.alocoq.fr/coqresearch:latest - --destination=registry.alocoq.fr/coqresearch:latest
volumeMounts: volumeMounts:
- name: workspace - name: workspace