fix script

Author: Samat Gaynutdinov

.github/workflows/build-utbot.yml

@@ -134,6 +134,9 @@ jobs:
   build-portable-container:
     needs: build-utbot-and-generate-test
     runs-on: ubuntu-latest
+    env:
+      DOCKER_IMAGE_TAG: docker-image
+      PORTABLE_CONTAINER_NAME: Portable
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2
@@ -145,7 +148,7 @@ jobs:
 
       - name: Build Portable docker image
         run: |
-          docker build . --file docker/Dockerfile_portable
+          docker build --tag $DOCKER_IMAGE_TAG . --file docker/Dockerfile_portable
 
       - name: Download generated test
         uses: actions/download-artifact@v3

docker/action-scripts/check-portable-tests.sh

@@ -7,15 +7,13 @@ set -e
 CURRENT_FOLDER="$( cd $( dirname ${BASH_SOURCE[0]} ) && pwd )"
 PROJECT_DIR=$CURRENT_FOLDER/../..
 
-PORTABLE_CONTAINER="Portable"
-
 # run Portable container
-docker run -d --name $(PORTABLE_CONTAINER) $(docker images | awk '{print $1}' | awk 'NR==2') > /dev/null
+docker run -d --name $(PORTABLE_CONTAINER_NAME) $(DOCKER_IMAGE_TAG)
 
 # Copy tests inside Portable container
-docker cp "$PROJECT_DIR/integration-tests/c-example/" $(PORTABLE_CONTAINER):/home/c-example
+docker cp "$PROJECT_DIR/integration-tests/c-example/" $(PORTABLE_CONTAINER_NAME):/home/c-example
 
 # Jump to container and check portability
 REMOVE_CMD="rm -r /home/c-example/utbot_build"
 RUN_TEST_CMD="env make -f /home/c-example/tests/lib/floats/floating_point_plain.mk run GTEST_FLAGS=\"--gtest_filter=*.plain_isnan_test_1\" clang=\"/usr/bin/clang-10\" clangxx=\"/usr/bin/clang++-10\" gtest=\"/gtest\""
-docker exec $(PORTABLE_CONTAINER) /bin/sh -c "$(REMOVE_CMD) && $(RUN_TEST_CMD)"
+docker exec $(PORTABLE_CONTAINER_NAME) /bin/sh -c "$(REMOVE_CMD) && $(RUN_TEST_CMD)"