0ct0pu5/webvm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update deploy.yml - hardcode deploy so it doesn't *need* inputs

Browse source
This commit is contained in:
Buzz 2024-08-22 10:57:53 +10:00 • committed by GitHub
parent ead581866b
commit 8186617d67
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.github/workflows/deploy.yml vendored
View file

@ -58,7 +58,8 @@ jobs:
fi
- name: Github Pages config guard clause
if: ${{ github.event.inputs.DEPLOY_TO_GITHUB_PAGES == 'true' }}
# if: ${{ github.event.inputs.DEPLOY_TO_GITHUB_PAGES == 'true' }}
if: ${{ 'true' == 'true' }}
run: |
# We use the Github Rest api to get information regarding pages for the Github Repository and store it into a temporary file named "pages_response".
set +e
@ -95,7 +96,8 @@ jobs:
env:
TAG: "ext2-webvm-base-image" # Tag of docker image.
IMAGE_SIZE: '${{ github.event.inputs.IMAGE_SIZE }}'
# IMAGE_SIZE: '${{ github.event.inputs.IMAGE_SIZE }}'
IMAGE_SIZE: '950M'
DEPLOY_DIR: /webvm_deploy/ # Path to directory where we host the final image from.
permissions: # Permissions to grant the GITHUB_TOKEN.
@ -221,7 +223,8 @@ jobs:
${{ env.IMAGE_NAME }}
deploy_to_github_pages: # Job that deploys the github-pages artifact to github-pages.
if: ${{ github.event.inputs.DEPLOY_TO_GITHUB_PAGES == 'true' }}
# if: ${{ github.event.inputs.DEPLOY_TO_GITHUB_PAGES == 'true' }}
if: ${{ 'true' == 'true' }}
needs: build
environment:
name: github-pages