Fixes git error

pull/7054/head
gindibay 2023-07-12 21:45:59 +03:00
parent 1089f6eecc
commit 95750f7a82
1 changed files with 2 additions and 1 deletions

View File

@ -76,7 +76,7 @@ jobs:
- name: Make
run: |
set -ex
git config --global --add safe.directory ${{ github.workspace }}
git config --global --add safe.directory /__w/citus/citus
make CFLAGS="-Wno-missing-braces" -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log
- name: Make install
@ -150,6 +150,7 @@ jobs:
- name: Make
run: |
set -ex
git config --global --add safe.directory /__w/citus/citus
make -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log
- name: Make install