mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-02 12:13:25 +00:00
Code Activity

Remove z3_tptp5 example build steps from GitHub Actions

Browse source 
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
This commit is contained in:
Nikolaj Bjorner 2026-07-29 15:53:08 -07:00
parent 5b12b607e2
commit 808a35b5e3
3 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/actions/daily-test-improver/coverage-steps/action.yml vendored
View file

@ -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

2
.github/workflows/ci.yml vendored
View file

@ -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 ..

2
.github/workflows/coverage.yml vendored
View file

@ -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