mirror of
https://github.com/DOI-DO/j40-cejst-2.git
synced 2025-02-23 01:54:18 -08:00
One more attempt to fix merging to main, it appears it doesn't like curly brackets (#277)
This commit is contained in:
parent
8f3c7487fc
commit
00fd51de8b
1 changed files with 4 additions and 4 deletions
8
.github/workflows/build_deploy.yml
vendored
8
.github/workflows/build_deploy.yml
vendored
|
@ -30,11 +30,11 @@ jobs:
|
|||
# If this is just a PR branch, put content in a hash directory. Otherwise, put it in "main"
|
||||
# This variable is used by gatsby-config.js to set a prefixPath
|
||||
- name: Set DESTINATION_FOLDER for main
|
||||
if: ${{ github.event.pull_request.merged == true }}
|
||||
if: github.event.pull_request.merged == true
|
||||
run: |
|
||||
echo "DESTINATION_FOLDER=main" >> $GITHUB_ENV
|
||||
- name: Set DESTINATION_FOLDER for branch
|
||||
if: ${{ github.event.pull_request.merged != true }}
|
||||
if: github.event.pull_request.merged != true
|
||||
run: |
|
||||
echo "DESTINATION_FOLDER=$(echo $GITHUB_SHA | cut -c 1-6)" >> $GITHUB_ENV
|
||||
- name: Install
|
||||
|
@ -72,11 +72,11 @@ jobs:
|
|||
path: ./public
|
||||
# If this is just a PR branch, put content in a hash directory. Otherwise, put it in "main"
|
||||
- name: Set DESTINATION_FOLDER for main
|
||||
if: ${{ github.event.pull_request.merged == true }}
|
||||
if: github.event.pull_request.merged == true
|
||||
run: |
|
||||
echo "DESTINATION_FOLDER=main" >> $GITHUB_ENV
|
||||
- name: Set DESTINATION_FOLDER for branch
|
||||
if: ${{ github.event.pull_request.merged != true }}
|
||||
if: github.event.pull_request.merged != true
|
||||
run: |
|
||||
echo "DESTINATION_FOLDER=$(echo $GITHUB_SHA | cut -c 1-6)" >> $GITHUB_ENV
|
||||
- name: Deploy to Github Pages
|
||||
|
|
Loading…
Add table
Reference in a new issue