mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

restore exec bit on a few more script; trying to unbreak buildbots

Browse source
This commit is contained in:
Nuno Lopes 2020-05-16 20:15:10 +01:00
parent 0313cf6d4c
commit e6ee58b628
11 changed files with 0 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

0
contrib/ci/scripts/build_z3_cmake.sh Normal file → Executable file
View file

0
contrib/ci/scripts/install_deps_osx.sh Normal file → Executable file
View file

0
contrib/ci/scripts/test_z3_docs.sh Normal file → Executable file
View file

0
contrib/ci/scripts/test_z3_examples_cmake.sh Normal file → Executable file
View file

0
contrib/ci/scripts/test_z3_install_cmake.sh Normal file → Executable file
View file

0
contrib/ci/scripts/test_z3_system_tests.sh Normal file → Executable file
View file

0
contrib/ci/scripts/test_z3_unit_tests_cmake.sh Normal file → Executable file
View file

0
contrib/ci/scripts/travis_ci_entry_point.sh Normal file → Executable file
View file

0
contrib/ci/scripts/travis_ci_linux_entry_point.sh Normal file → Executable file
View file

0
contrib/ci/scripts/travis_ci_osx_entry_point.sh Normal file → Executable file
View file

0
contrib/cmake/bootstrap.py Normal file → Executable file
View file