File tree Expand file tree Collapse file tree 1 file changed +4
-0
lines changed
Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -30,11 +30,15 @@ jobs:
3030 - name : Start Codespace
3131 run : |
3232 set -Eeuo pipefail
33+
3334 if [[ "${{ github.event_name }}" == "pull_request" ]]; then
3435 gh secret set -a codespaces IMAGE_VERSION --body "pr-${{ github.event.pull_request.number }}"
36+ elif [[ "${{ github.event_name }}" == "push" && "${{ startsWith(github.ref, 'refs/tags/') }}" == "true" ]]; then
37+ gh secret set -a codespaces IMAGE_VERSION --body "${GITHUB_REF#refs/tags/}"
3538 else
3639 gh secret set -a codespaces IMAGE_VERSION --body "edge"
3740 fi
41+
3842 echo CODESPACE_NAME="$(gh codespace create -R "${{ github.repository }}" -b "$HEAD_REF" -m basicLinux32gb --devcontainer-path ".devcontainer/${{ inputs.flavor }}-test/devcontainer.json" --idle-timeout 10m --retention-period 1h)" >> "$GITHUB_ENV"
3943 env :
4044 GH_TOKEN : ${{ secrets.TEST_GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments