mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-08 19:44:57 -05:00
fix(build): manage refs for push events
This commit is contained in:
@@ -6,7 +6,12 @@ set +e
|
||||
CURR_DIR=`dirname $0`
|
||||
|
||||
# Run diff-coverage
|
||||
BB="origin/$1" make coverage | tee diff-coverage.txt
|
||||
if [[ "$1" == "" ]]; then
|
||||
BB="origin/main"
|
||||
else
|
||||
BB="origin/$1"
|
||||
fi
|
||||
make coverage | tee diff-coverage.txt
|
||||
|
||||
# Get exit code without closing the script
|
||||
TEST_EXIT_CODE="$?"
|
||||
|
||||
Reference in New Issue
Block a user