fix docker image name

JeffIrwin · Nov 16, 2024 · 34d9da9 · 34d9da9
1 parent ef8b0e2
commit 34d9da9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -277,7 +277,7 @@
 					docker run --entrypoint /workdir/syntran/bin/syntran sy --version \n
 
 					# Start run in background (-d) with container name sy-ctr \n
-					sudo docker run --name sy-ctr -d -it sy-rocky \n
+					sudo docker run --name sy-ctr -d -it sy \n
 
 					# Copy artifact from container \n
 					sudo docker cp sy-ctr:/workdir/syntran/bin/syntran-rocky.tgz . \n

diff --git a/docker/Dockerfile.broke-rocky b/docker/Dockerfile.broke-rocky
@@ -15,8 +15,12 @@ ADD "$SY_URL" ./syntran-linux.zip
 RUN unzip syntran-linux*.zip
 RUN rm syntran-linux*.zip
 RUN chmod +x ./syntran
+
+# TODO: cp new libs too
 RUN mv syntran libquadmath.so.* libc.so.* /usr/local/bin
 
+# TODO: export LD_LIBRARY_PATH for libs
+
 RUN syntran --version
 RUN syntran -c 'println("hello world");'