From b9591ed3e6c46b92c491995e44300e2326dbfbc2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 18 Jan 2026 09:41:02 -0800 Subject: [PATCH] update nightly Signed-off-by: Nikolaj Bjorner --- .github/workflows/nightly.yml | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 8aa75a554..bc5b5cd5a 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -39,13 +39,7 @@ jobs: - name: Build run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64 - - - name: Clone z3test - run: git clone https://github.com/z3prover/z3test z3test - - - name: Test - run: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 - + - name: Upload artifact uses: actions/upload-artifact@v6 with: @@ -68,10 +62,7 @@ jobs: - name: Build run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64 - - - name: Clone z3test - run: git clone https://github.com/z3prover/z3test z3test - + - name: Upload artifact uses: actions/upload-artifact@v6 with: