Add dev-utils argument to workflow dispatch (#437)

Signed-off-by: tempate <[email protected]>
eProsima · Apr 2, 2024 · 91ff664 · 91ff664
1 parent 326cdd1
commit 91ff664
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/docker_test.yml b/.github/workflows/docker_test.yml
@@ -11,6 +11,10 @@ on:
         description: 'Branch or tag of Fast DDS repository (https://github.com/eProsima/Fast-DDS)'
         required: true
         default: 'master'
+      devutils_branch:
+        description: 'Branch or tag of dev-utils repository (https://github.com/eProsima/dev-utils)'
+        required: true
+        default: 'main'
       ddspipe_branch:
         description: 'Branch or tag of DDS Pipe repository (https://github.com/eProsima/DDS-Pipe)'
         required: true
@@ -43,6 +47,7 @@ jobs:
     env:
       DEFAULT_FASTCDR_BRANCH: 'master'
       DEFAULT_FASTDDS_BRANCH: 'master'
+      DEFAULT_DEVUTILS_BRANCH: 'main'
       DEFAULT_DDSPIPE_BRANCH: 'main'
       DEFAULT_DDSROUTER_BRANCH: 'main'
       DDSROUTER_COMPOSE_TEST_DOCKER_IMAGE: "ddsrouter:ci"
@@ -61,13 +66,15 @@ jobs:
           echo "--- Input Variables ---"
           echo "github.event.inputs.fastcdr_branch: ${{ github.event.inputs.fastcdr_branch }}"
           echo "github.event.inputs.fastdds_branch: ${{ github.event.inputs.fastdds_branch }}"
+          echo "github.event.inputs.devutils_branch: ${{ github.event.inputs.devutils_branch }}"
           echo "github.event.inputs.ddspipe_branch: ${{ github.event.inputs.ddspipe_branch }}"
           echo "github.event.inputs.ddsrouter_branch: ${{ github.event.inputs.ddsrouter_branch }}"
           echo "--- Github Environment Variables ---"
           echo "github.head_ref: ${{ github.head_ref }}"
           echo "--- Environment Variables ---"
           echo "DEFAULT_FASTCDR_BRANCH: ${{ env.DEFAULT_FASTCDR_BRANCH }}"
           echo "DEFAULT_FASTDDS_BRANCH: ${{ env.DEFAULT_FASTDDS_BRANCH }}"
+          echo "DEFAULT_DEVUTILS_BRANCH: ${{ env.DEFAULT_DEVUTILS_BRANCH }}"
           echo "DEFAULT_DDSPIPE_BRANCH: ${{ env.DEFAULT_DDSPIPE_BRANCH }}"
           echo "DEFAULT_DDSROUTER_BRANCH: ${{ env.DEFAULT_DDSROUTER_BRANCH }}"
 
@@ -89,6 +96,7 @@ jobs:
             --no-cache \
             --build-arg fastcdr_branch=${{ github.event.inputs.fastcdr_branch || env.DEFAULT_FASTCDR_BRANCH }} \
             --build-arg fastdds_branch=${{ github.event.inputs.fastdds_branch || env.DEFAULT_FASTDDS_BRANCH }} \
+            --build-arg devutils_branch=${{ github.event.inputs.devutils_branch || env.DEFAULT_DEVUTILS_BRANCH }} \
             --build-arg ddspipe_branch=${{ github.event.inputs.ddspipe_branch || env.DEFAULT_DDSPIPE_BRANCH }} \
             --build-arg ddsrouter_branch=${{ github.event.inputs.ddsrouter_branch || github.head_ref || env.DEFAULT_DDSROUTER_BRANCH }} \
             -t ${{ env.DDSROUTER_COMPOSE_TEST_DOCKER_IMAGE }} \