update ci

simon-epfl · Oct 22, 2024 · 6712401 · 6712401
1 parent a678dcb
commit 6712401
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -13,7 +13,7 @@ RUN mkdir -p /opt/verible && \
 
 ENV PATH="/opt/verible/bin:$PATH"
 
-COPY verible-wrap.sh /tmp
-RUN chmod +x /tmp/verible-wrap.sh
+COPY verible-wrapper.sh /tmp
+RUN chmod +x /tmp/verible-wrapper.sh
 
-CMD [ "/tmp/verible-wrap.sh" ]
+CMD [ "bash", "/tmp/verible-wrapper.sh" ]
diff --git a/verible-wrap.sh → verible-wrapper.sh b/verible-wrap.sh → verible-wrapper.sh