|
I'm having troubles with file names. I'm trying to download the source from this release. So I have (hardcoded tag for now): However I don't know how to sort out the file name.
How do I get the downloaded file name to unzip it? Thanks! |
Replies: 2 comments 5 replies
|
When downloading a you can try something like this for now I think the prefix |
|
(To mark something as an answer it seems it can't be a response?) Here's my final result: - name: Get Release Info
run: |
echo "RELEASE_TAG=${GITHUB_REF/refs\/tags\//}" >> $GITHUB_ENV
- name: Get SBCL source code
uses: robinraju/release-downloader@768e5668c501e732416580dbb1f56794f4d1f590
with:
repository: 'sbcl/sbcl'
tag: ${{ env.RELEASE_TAG }}
zipBall: true
- name: Decompress
run: |
echo "Using tag: ${{ env.RELEASE_TAG }}"
ls -lrth
unzip sbcl-${{ env.RELEASE_TAG }}.zip -d sbcl-${{ env.RELEASE_TAG }}
ls -lrthThank you for your help! |
(To mark something as an answer it seems it can't be a response?)
Here's my final result:
Thank you for your help!