Rename files to distinguish between local and ci scripts

ProvideQ · Nov 4, 2024 · eb189c4 · eb189c4
1 parent 635bb81
commit eb189c4
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci-cd-develop.yml b/.github/workflows/ci-cd-develop.yml
@@ -28,7 +28,7 @@ jobs:
           echo "$GAMS_PATH" >> "$GITHUB_PATH"
           echo "GMSPYTHONLIB=/opt/conda/envs/gams/lib/libpython3.10.so" >> "$GITHUB_ENV"
       - name: Install solver dependencies
-        run: ./scripts/ci-setup-gams.sh
+        run: ./scripts/ci-setup-solvers.sh
       - name: Run checks
         shell: bash # required for the source command
         run: |

diff --git a/Dockerfile b/Dockerfile
@@ -49,7 +49,7 @@ ENV PATH="${PATH}:/opt/java/bin"
 
 # Install the toolbox server and its solver scripts
 COPY solvers solvers
-RUN scripts/ci-setup-gams.sh
+RUN scripts/ci-setup-solvers.sh
 COPY --from=builder /app/build/libs/toolbox-server-*.jar toolbox-server.jar
 
 # Run the toolbox server on dokku's default port

diff --git a/scripts/ci-setup-gams.sh → scripts/ci-setup-solvers.sh b/scripts/ci-setup-gams.sh → scripts/ci-setup-solvers.sh
diff --git a/scripts/ci-setup-solvers.py → scripts/install-python-dependencies.py b/scripts/ci-setup-solvers.py → scripts/install-python-dependencies.py