Using the merge commit during a PR. RE:#1952
This commit is contained in:
parent
ada7e6d10c
commit
4644a0f473
|
@ -60,12 +60,14 @@ jobs:
|
||||||
then
|
then
|
||||||
# If we're in a PR, build the container from the fork's source.
|
# If we're in a PR, build the container from the fork's source.
|
||||||
INVEST_REPO="${{ github.event.pull_request.head.repo.full_name }}"
|
INVEST_REPO="${{ github.event.pull_request.head.repo.full_name }}"
|
||||||
|
INVEST_VERSION="${{ github.event.pull_request.merge_commit_sha }}"
|
||||||
else
|
else
|
||||||
INVEST_REPO="${{ github.repository }}"
|
INVEST_REPO="${{ github.repository }}"
|
||||||
|
INVEST_VERSION="${{ github.sha }}"
|
||||||
fi
|
fi
|
||||||
cd docker && docker build \
|
cd docker && docker build \
|
||||||
--build-arg="INVEST_REPO=${INVEST_REPO}" \
|
--build-arg="INVEST_REPO=${INVEST_REPO}" \
|
||||||
--build-arg="INVEST_VERSION=${{ github.sha }}" \
|
--build-arg="INVEST_VERSION=${INVEST_VERSION}" \
|
||||||
-t ghcr.io/${{ github.repository_owner }}/${{ env.CONTAINER_NAME }}:latest \
|
-t ghcr.io/${{ github.repository_owner }}/${{ env.CONTAINER_NAME }}:latest \
|
||||||
-t ghcr.io/${{ github.repository_owner }}/${{ env.CONTAINER_NAME }}:${{ github.sha }} \
|
-t ghcr.io/${{ github.repository_owner }}/${{ env.CONTAINER_NAME }}:${{ github.sha }} \
|
||||||
-t ghcr.io/${{ github.repository_owner }}/${{ env.CONTAINER_NAME }}:${SANITIZED_REF} \
|
-t ghcr.io/${{ github.repository_owner }}/${{ env.CONTAINER_NAME }}:${SANITIZED_REF} \
|
||||||
|
|
Loading…
Reference in New Issue