Change calculation of repository name.

educates · Aug 9, 2023 · b1007e6 · b1007e6
1 parent b883744
commit b1007e6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/publish-workshops.yaml b/.github/workflows/publish-workshops.yaml
@@ -35,6 +35,7 @@ jobs:
       run: |
         echo WORKSHOPS="lab-builtin-vcluster,lab-shared-vcluster,lab-remote-cluster" >>${GITHUB_ENV}
         echo REPOSITORY_OWNER=$(echo "${{github.repository_owner}}" | tr '[:upper:]' '[:lower:]') >>${GITHUB_ENV}
+        echo REPOSITORY_NAME=${{github.event.repository.name}} >>${GITHUB_ENV}
         echo REPOSITORY_TAG=$(echo "${{github.ref}}" | sed -e 's%refs/tags/%%') >>${GITHUB_ENV}
 
     - name: Publish workshops and create workshop definition
@@ -64,7 +65,7 @@ jobs:
         GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
       with:
         tag_name: ${{env.REPOSITORY_TAG}}
-        name: ${{github.repository_name}}:${{env.REPOSITORY_TAG}}
+        name: ${{env.REPOSITORY_NAME}}:${{env.REPOSITORY_TAG}}
         draft: false
         prerelease: false
         files: |