ci: add double brackets

Author: sevenbunu

.github/workflows/self-hosted.yml

@@ -64,16 +64,16 @@ jobs:
         working-directory: ${{ env.build_dir }}
         run: |
           chmod +x scripts/run_tests_fallback.sh
-          ./scripts/run_tests_fallback.sh | tee >(grep -E "FAILED|ERROR" && echo "HAS_ERRORS=true" >> $GITHUB_ENV)
-          if [ $HAS_ERRORS == true ]; then
+          ./scripts/run_tests_fallback.sh | tee >(grep -qE "FAILED|ERROR" && echo "HAS_ERRORS=true" >> $GITHUB_ENV)
+          if [[ $HAS_ERRORS == "true" ]]; then
             exit 1
           fi
 
       - name: Run regression-tests
         working-directory: ${{ env.build_dir }}/python
         run: |
           chmod +x run_tests.sh
-          ./run_tests.sh | tee >(grep -E "FAILED|ERROR" && echo "HAS_ERRORS=true" >> $GITHUB_ENV)
-          if [ $HAS_ERRORS == true ]; then
+          ./run_tests.sh | tee >(grep -qE "FAILED|ERROR" && echo "HAS_ERRORS=true" >> $GITHUB_ENV)
+          if [[ $HAS_ERRORS == "true" ]]; then
             exit 1
           fi

.github/workflows/ubuntu.yml

@@ -19,7 +19,7 @@ jobs:
         include:
           - os: ubuntu-22.04
             cuda: "11.7"
-            gcc: 10
+            gcc: 9
     env:
       build_dir: "build"
       config: "Release"