removed debug output

hugsy · Dec 16, 2023 · 996bcf3 · 996bcf3
1 parent adaf627
commit 996bcf3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -27,7 +27,6 @@ jobs:
         ALLOWED_MARGIN: 0.01
         MIN_COVERAGE: 70
       run: |
-        set -x
         echo PY_VER=`gdb -q -nx -ex "pi print('.'.join(map(str, sys.version_info[:2])))" -ex quit` >> $GITHUB_ENV
         echo GEF_CI_NB_CPU=`grep -c ^processor /proc/cpuinfo` >> $GITHUB_ENV
         echo GEF_CI_ARCH=`uname --processor` >> $GITHUB_ENV