From 04af67715bde7d5f3ffb93d2341f77822919bc72 Mon Sep 17 00:00:00 2001 From: Weijia Wang <9713184+wegank@users.noreply.github.com> Date: Thu, 29 Oct 2026 23:08:51 +0100 Subject: [PATCH 1/2] Fix make distcheck with fixed seed --- .github/workflows/msolve.yml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/msolve.yml b/.github/workflows/msolve.yml index ccb6dd40..5f05ed18 100644 --- a/.github/workflows/msolve.yml +++ b/.github/workflows/msolve.yml @@ -147,11 +147,10 @@ jobs: - name: make distcheck with fixed seed run: | if [ "$RUNNER_OS" == "Linux" ] || [ "$RUNNER_OS" == "Windows" ]; then - make distcheck DISTCHECK_CONFIGURE_FLAGS="SEED=1617753600" + SEED=1617753600 make distcheck elif [ "$RUNNER_OS" == "macOS" ]; then - make distcheck LDFLAGS="-L$(brew --prefix)/lib/" \ - CFLAGS="-g -O2 -I$(brew --prefix)/include/" \ - DISTCHECK_CONFIGURE_FLAGS="SEED=1617753600" + SEED=1617753600 make distcheck LDFLAGS="-L$(brew --prefix)/lib/" \ + CFLAGS="-g -O2 -I$(brew --prefix)/include/" else echo "$RUNNER_OS not supported" exit 1 From 9ec3533eb0753be2a7a12150c54800f305ad9d07 Mon Sep 17 00:00:00 2001 From: Weijia Wang <9713184+wegank@users.noreply.github.com> Date: Thu, 29 Oct 2026 23:16:28 +0100 Subject: [PATCH 2/2] Fix show test-suite.log for distcheck --- .github/workflows/msolve.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/msolve.yml b/.github/workflows/msolve.yml index 5f05ed18..f7989a6d 100644 --- a/.github/workflows/msolve.yml +++ b/.github/workflows/msolve.yml @@ -157,7 +157,7 @@ jobs: fi - name: show test-suite.log if test failed if: failure() - run: cat test-suite.log || true + run: cat msolve-*/_build/sub/test-suite.log || true flintdev-assert-ntl: