Merge branch 'dev' into 1078-UserGroups

2026-08-23 04:57:17 +01:00 · 2020-12-18 01:08:02 -05:00
parent 1058c96627 e474810cc0
commit cbfb6ac8d0
1 changed files with 1 additions and 0 deletions
@@ -366,6 +366,7 @@ jobs:

    - name: Set TGS4_GITHUB_REF for push
      if: ${{ github.event_name == 'push' }}
+      shell: bash
      run: |
        TEMP_GITHUB_REF="${{ github.event.ref }}"
        echo "TGS4_GITHUB_REF=${TEMP_GITHUB_REF##*/}" >> $env:GITHUB_ENV