changeset 32227:1ce9acf56351

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Thu, 03 Aug 2023 18:54:41 +0200
parents fe19c03876a1 (current diff) 6f9f2e2c2ae8 (diff)
children 355b4434b45d
files .github/workflows/make.yaml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Tue Aug 01 19:43:19 2023 +0200
+++ b/.github/workflows/make.yaml	Thu Aug 03 18:54:41 2023 +0200
@@ -581,7 +581,7 @@
           echo "makeinfo_program (sprintf ('%s && cd %s && perl makeinfo', [s=nthargout(2, @system, 'cygpath -w /usr/bin')](1:2), strtrim (s)));" \
             >> ./scripts/startup/site-rcfile
           export PATH=$(echo "$PATH" | sed -e "s|$MINGW_PREFIX/lib/ccache/bin:||g")
-          make -C ./.build check | tee ./test-suite.log
+          make -C ./.build check RUN_OCTAVE_OPTIONS="--no-gui-libs" | tee ./test-suite.log
 
       - name: display test log
         continue-on-error: true