Fixes deb error

pull/7054/head
gindibay 2023-07-12 22:46:11 +03:00
parent 21bd53b158
commit 6a633bc599
1 changed files with 2 additions and 1 deletions

View File

@ -157,9 +157,10 @@ jobs:
make clean
- name: Make
shell: bash
run: |
set -ex
git config --global --add safe.directory /__w/citus/citus
git config --global --add safe.directory ${GITHUB_WORKSPACE}
make -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log
# Check the exit code of the make command