mirror of
https://github.com/squidfunk/mkdocs-material.git
synced 2024-06-14 11:52:32 +03:00
fix: Handle upper case chars in repo name #5503
This resolves an error on the "Check Docker image" build step for any forks under GitHub users with an upper case character in their GitHub username.
This commit is contained in:
parent
8d2c5b5db4
commit
ec2b954f6c
6
.github/workflows/build.yml
vendored
6
.github/workflows/build.yml
vendored
@ -144,9 +144,11 @@ jobs:
|
|||||||
|
|
||||||
- name: Check Docker image
|
- name: Check Docker image
|
||||||
working-directory: /tmp
|
working-directory: /tmp
|
||||||
|
env:
|
||||||
|
REPO_FULL_NAME: '${{ github.event.repository.full_name }}'
|
||||||
run: |
|
run: |
|
||||||
docker run --rm -i -v ${PWD}:/docs ${{ github.event.repository.full_name }}:${{ steps.meta.outputs.version }} new .
|
docker run --rm -i -v ${PWD}:/docs ${REPO_FULL_NAME,,}:${{ steps.meta.outputs.version }} new .
|
||||||
docker run --rm -i -v ${PWD}:/docs ${{ github.event.repository.full_name }}:${{ steps.meta.outputs.version }} build
|
docker run --rm -i -v ${PWD}:/docs ${REPO_FULL_NAME,,}:${{ steps.meta.outputs.version }} build
|
||||||
|
|
||||||
- name: Set platforms
|
- name: Set platforms
|
||||||
if: github.event_name == 'release'
|
if: github.event_name == 'release'
|
||||||
|
Loading…
Reference in New Issue
Block a user