Cosmin Truta b445aade83 ci: Rename the ci_* scripts ...

Give the CI scripts new names that better reflect what they do, and
make room for activities such as linting or dependency installation:
 * Rename ci_autotools.sh to ci_verify_configure.sh.
 * Rename ci_cmake.sh to ci_verify_cmake.sh.
 * Rename ci_legacy.sh to ci_verify_makefiles.sh.

Also rename CI_LEGACY_MAKEFILES to CI_MAKEFILES.

Update the config files for Travis CI and AppVeyor CI accordingly.

2022-11-27 21:05:42 +02:00

..

ci_verify_cmake.sh

ci: Rename the ci_* scripts

2022-11-27 21:05:42 +02:00

ci_verify_configure.sh

ci: Rename the ci_* scripts

2022-11-27 21:05:42 +02:00

ci_verify_makefiles.sh

ci: Rename the ci_* scripts

2022-11-27 21:05:42 +02:00