Merge pull request #10639 from zmstone/0508-ci-fix-git-safe-dir

ci: ensure git safe dir
This commit is contained in:
Zaiming (Stone) Shi 2023-05-08 14:41:29 +02:00 committed by GitHub
commit a1467250ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -35,6 +35,10 @@ jobs:
- name: Get profile to build
id: get_profile
run: |
set -e
THISDIR="$(pwd)"
echo "Adding $THISDIR as safe dir for git"
git config --global --add safe.directory "${THISDIR}"
tag=${{ github.ref }}
if git describe --tags --match "[v|e]*" --exact; then
echo "WARN: This is an exact git tag, will publish release"