fix CI

.gitlab-ci.yml

@@ -30,10 +30,10 @@ build:
   script:
     - opam exec -- dune build --profile release @all
     - opam exec -- dune runtest
-    - mv _build/default/src/server.exe .
+    - mv _build/default/src/osh.exe .
   artifacts:
     paths:
-      - server.exe
+      - osh.exe
 
 include:
   - project: 'OCamlPro/gitlab-deployments'
@@ -53,7 +53,7 @@ make-image:
     - |
       echo "\
       FROM bitnami/nginx:latest
-      ADD server.exe /opt/bitnami/nginx/sbin/nginx
+      ADD osh.exe /opt/bitnami/nginx/sbin/nginx
       USER 0
       RUN apt update && apt install -yqq libev4 curl libcurl4 libcurl4-gnutls-dev
       USER 1001