build: rename ci.sh linux-ci.sh

dbohdan · May 6, 2024 · e059c8c · e059c8c
1 parent 2c860fd
commit e059c8c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,7 +10,7 @@ jobs:
     - name: Install dependencies
       run: sudo apt-get update && sudo apt-get install -y libgmp-dev
     - name: Run CI script
-      run: ./ci.sh
+      run: ./linux-ci.sh
     - name: Add artifact name to env
       run: |
         printf \

diff --git a/Dockerfile b/Dockerfile
@@ -5,7 +5,7 @@ RUN apt-get update \
 
 ADD . /build/initool/
 WORKDIR /build/initool/
-RUN ./ci.sh
+RUN ./linux-ci.sh
 
 FROM debian:bookworm-slim
 RUN mkdir -p /app/initool/

diff --git a/ci.sh → linux-ci.sh b/ci.sh → linux-ci.sh