Dundar Goc d77ec8a5c6 ci: remove unnecessary file ci/script.sh ... It only runs run_tests.sh and checks coverage, which can be replaced by just moving the coverage check to ci/run_tests.sh.		2022-07-11 17:16:55 +02:00
..
common	build: rename build-related dirs	2022-06-28 04:02:29 -07:00
snap	chore: fix typos (#17755)	2022-03-25 19:57:59 +01:00
before_cache.sh	ci: only cache third-party deps if they exist	2022-02-19 20:36:29 -05:00
before_script.sh	ci: remove outdated travis-specific code (#16869)	2022-01-01 12:42:26 -05:00
build.ps1	build: rename build-related dirs	2022-06-28 04:02:29 -07:00
install.sh	ci: use python3 explicitly to fix macos warnings #18837	2022-06-03 08:15:45 -07:00
run_tests.sh	ci: remove unnecessary file ci/script.sh	2022-07-11 17:16:55 +02:00