File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -64,16 +64,16 @@ jobs:
6464 working-directory : ${{ env.build_dir }}
6565 run : |
6666 chmod +x scripts/run_tests_fallback.sh
67- tty=$(readlink /proc/$$/fd/2 )
68- if ./scripts/run_tests_fallback.sh | tee $tty | grep -qE "FAILED|ERROR" ; then
67+ ./scripts/run_tests_fallback.sh | tee >(grep -E "FAILED|ERROR" && echo "HAS_ERRORS=true" >> $GITHUB_ENV )
68+ if [ $HAS_ERRORS == true ] ; then
6969 exit 1
7070 fi
7171
7272 - name : Run regression-tests
7373 working-directory : ${{ env.build_dir }}/python
7474 run : |
7575 chmod +x run_tests.sh
76- tty=$(readlink /proc/$$/fd/2 )
77- if ./run_tests.sh | tee $tty | grep -qE "FAILED|ERROR" ; then
76+ ./run_tests.sh | tee >(grep -E "FAILED|ERROR" && echo "HAS_ERRORS=true" >> $GITHUB_ENV )
77+ if [ $HAS_ERRORS == true ] ; then
7878 exit 1
7979 fi
Original file line number Diff line number Diff line change 1919 include :
2020 - os : ubuntu-22.04
2121 cuda : " 11.7"
22- gcc : 11
22+ gcc : 10
2323 env :
2424 build_dir : " build"
2525 config : " Release"
You can’t perform that action at this time.
0 commit comments