Skip to content

Commit ad15f0a

Browse files
committed
github action: add git safe directory
Where we use git commands directly, we need to add safe directory. This is because the recent git changes introduced, for details visit: actions/checkout#766
1 parent 8a59067 commit ad15f0a

File tree

2 files changed

+7
-6
lines changed

2 files changed

+7
-6
lines changed

.github/workflows/basic_checks.yml

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ jobs:
2020
uses: actions/checkout@v3
2121
with:
2222
fetch-depth: 0
23+
2324

2425
-
2526
name: install dependencies
@@ -32,7 +33,7 @@ jobs:
3233
run: |
3334
set -x
3435
mkdir -p SCANCODE
35-
36+
git config --global --add safe.directory "$GITHUB_WORKSPACE"
3637
git diff --name-only --diff-filter=d origin/${GITHUB_BASE_REF} \
3738
| ( grep '.\(c\|cpp\|h\|hpp\|py\)$' || true )
3839
echo $?
@@ -67,6 +68,7 @@ jobs:
6768
-
6869
name: include check
6970
run: |
71+
git config --global --add safe.directory "$GITHUB_WORKSPACE"
7072
# checks mbed.h is not included in MbedOS files except in tests
7173
! git grep '^#include\s["'"']mbed.h['"'"]$' -- '*.c' '*.h' '*.cpp' '*.hpp' \
7274
':!*platform_mbed.h' ':!*TESTS/*' ':!TEST_APPS/' ':!UNITTESTS/' \
@@ -88,6 +90,7 @@ jobs:
8890
-
8991
name: UTF-8 Check
9092
run: |
93+
git config --global --add safe.directory "$GITHUB_WORKSPACE"
9194
# Make sure we're not introducing any text which is not UTF-8 encoded
9295
git diff origin/${GITHUB_BASE_REF} -U0 | ( grep -a '^+' || true ) | ( ! grep -axv '.*' )
9396
@@ -96,6 +99,7 @@ jobs:
9699
name: astyle checks
97100
run: |
98101
set -x
102+
git config --global --add safe.directory "$GITHUB_WORKSPACE"
99103
git diff --name-only --diff-filter=d origin/${GITHUB_BASE_REF} \
100104
| ( grep '.*\.\(c\|cpp\|h\|hpp\)$' || true ) \
101105
| ( grep -v -f .codecheckignore || true ) \
@@ -192,6 +196,7 @@ jobs:
192196
name: validate pins
193197
run: |
194198
set -x
199+
git config --global --add safe.directory "$GITHUB_WORKSPACE"
195200
git diff --name-only --diff-filter=d origin/${GITHUB_BASE_REF} \
196201
| ( grep '.*[\\|\/]PinNames.h$' || true ) \
197202
| while read file; do python ./hal/tests/pinvalidate/pinvalidate.py -vvvfp "${file}"; done
@@ -245,6 +250,7 @@ jobs:
245250
name: frozen tool check
246251
run: |
247252
set -x
253+
git config --global --add safe.directory "$GITHUB_WORKSPACE"
248254
git diff --name-only origin/${GITHUB_BASE_REF} \
249255
| egrep \
250256
-e "^tools/build_api*" \

.github/workflows/main.yml

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,11 +7,6 @@ jobs:
77
runs-on: ubuntu-latest
88

99
steps:
10-
- name: Work around https://github.com/actions/checkout/issues/766
11-
run: |
12-
cd "${GITHUB_WORKSPACE}" || exit 1
13-
git config --global --add safe.directory "$GITHUB_WORKSPACE"
14-
1510
- name: Checkout repo
1611
uses: actions/checkout@v3
1712

0 commit comments

Comments
 (0)