From 808a35b5e3546a4375918b5ccf53fa7e95858c8c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 29 Jul 2026 15:53:08 -0700 Subject: [PATCH] Remove z3_tptp5 example build steps from GitHub Actions The tptp5 example was removed, so drop its build/run steps from ci.yml, coverage.yml, and the daily-test-improver coverage action. The z3 -tptp front-end and the tptp-benchmark workflow are unaffected. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 57b9b87e-950a-49ea-bbb3-ed585646a5a9 --- .github/actions/daily-test-improver/coverage-steps/action.yml | 4 ---- .github/workflows/ci.yml | 2 -- .github/workflows/coverage.yml | 2 -- 3 files changed, 8 deletions(-) diff --git a/.github/actions/daily-test-improver/coverage-steps/action.yml b/.github/actions/daily-test-improver/coverage-steps/action.yml index fa336194e2..ce5820134c 100644 --- a/.github/actions/daily-test-improver/coverage-steps/action.yml +++ b/.github/actions/daily-test-improver/coverage-steps/action.yml @@ -66,7 +66,6 @@ runs: cd build ninja c_example || echo "c_example build failed, continuing" >> ../coverage-steps.log ninja cpp_example || echo "cpp_example build failed, continuing" >> ../coverage-steps.log - ninja z3_tptp5 || echo "z3_tptp5 build failed, continuing" >> ../coverage-steps.log ninja c_maxsat_example || echo "c_maxsat_example build failed, continuing" >> ../coverage-steps.log echo "Examples build completed" >> ../coverage-steps.log cd .. @@ -113,9 +112,6 @@ runs: if [ -f "build/examples/cpp_example_build_dir/cpp_example" ]; then ./build/examples/cpp_example_build_dir/cpp_example 2>&1 | tee -a coverage-steps.log || echo "cpp_example execution failed" >> coverage-steps.log fi - if [ -f "build/examples/tptp_build_dir/z3_tptp5" ]; then - ./build/examples/tptp_build_dir/z3_tptp5 --help 2>&1 | tee -a coverage-steps.log || echo "z3_tptp5 execution failed" >> coverage-steps.log - fi if [ -f "build/examples/c_maxsat_example_build_dir/c_maxsat_example" ] && [ -f "examples/maxsat/ex.smt" ]; then ./build/examples/c_maxsat_example_build_dir/c_maxsat_example examples/maxsat/ex.smt 2>&1 | tee -a coverage-steps.log || echo "c_maxsat_example execution failed" >> coverage-steps.log fi diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eb98ec4754..b7c31f0d2c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -377,11 +377,9 @@ jobs: cd build ninja c_example ninja cpp_example - ninja z3_tptp5 ninja c_maxsat_example examples/c_example_build_dir/c_example examples/cpp_example_build_dir/cpp_example - examples/tptp_build_dir/z3_tptp5 -help examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt cd .. diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index ca81a7a5e6..e0809f4ab7 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -41,7 +41,6 @@ jobs: run: | cmake --build ${{github.workspace}}/build --target c_example cmake --build ${{github.workspace}}/build --target cpp_example - cmake --build ${{github.workspace}}/build --target z3_tptp5 cmake --build ${{github.workspace}}/build --target c_maxsat_example - name: Clone z3test @@ -59,7 +58,6 @@ jobs: - name: Run examples run: | ${{github.workspace}}/build/examples/cpp_example_build_dir/cpp_example - ${{github.workspace}}/build/examples/tptp_build_dir/z3_tptp5 --help ${{github.workspace}}/build/examples/c_maxsat_example_build_dir/c_maxsat_example ${{github.workspace}}/examples/maxsat/ex.smt - name: Run regressions