Disable domain_host variation, it doesn't work on github atm

starpu-runtime · Feb 4, 2025 · 2e8fdaf · 2e8fdaf
1 parent 1535399
commit 2e8fdaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -104,4 +104,4 @@ jobs:
       - name: autoconf
         run: ./autogen.sh
       - name: run
-        run: reprotest 'export SOURCE_DATE_EPOCH=946684800 ; sed -i "/^HTML_TIMESTAMP/s/YES/NO/" doc/doxygen.cfg ; mkdir build && cd build && FCFLAGS=-ffile-prefix-map=$PWD=. FFLAGS=-ffile-prefix-map=$PWD=. CFLAGS=-ffile-prefix-map=$PWD=. CXXFLAGS=-ffile-prefix-map=$PWD=. ../configure --enable-quick-check --disable-build-doc --disable-build-doc-pdf && TZ= make && make install-strip DESTDIR=$PWD/../tmp' tmp
+        run: reprotest --vary=-domain_host 'export SOURCE_DATE_EPOCH=946684800 ; sed -i "/^HTML_TIMESTAMP/s/YES/NO/" doc/doxygen.cfg ; mkdir build && cd build && FCFLAGS=-ffile-prefix-map=$PWD=. FFLAGS=-ffile-prefix-map=$PWD=. CFLAGS=-ffile-prefix-map=$PWD=. CXXFLAGS=-ffile-prefix-map=$PWD=. ../configure --enable-quick-check --disable-build-doc --disable-build-doc-pdf && TZ= make && make install-strip DESTDIR=$PWD/../tmp' tmp