Remove git metadata hack. Not needed

Signed-off-by: Jeremy Adams <jeremy@dagger.io>
This commit is contained in:
Jeremy Adams 2023-11-14 11:26:09 -08:00
parent 0e89f4742a
commit 6a288cfe4d

View file

@ -38,9 +38,6 @@ runs:
DAGGER_VERSION=${{ inputs.version }} sh 2>/dev/null; } DAGGER_VERSION=${{ inputs.version }} sh 2>/dev/null; }
shell: bash shell: bash
- run: if ! [ -d ./.git ]; then git clone -b ${GITHUB_REF_NAME} --no-checkout https://github.com/${GITHUB_REPOSITORY} .; fi
shell: bash
- run: | - run: |
cd ${{ inputs.workdir }} && { \ cd ${{ inputs.workdir }} && { \
DAGGER_CLOUD_TOKEN=${{ inputs.cloud-token }} \ DAGGER_CLOUD_TOKEN=${{ inputs.cloud-token }} \