Johannes Schindelin 835a3b0e56 Merge branch 'ci-fixes' ... Backport a couple fixes to make the CI build run again (so much for reproducible builds...). Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>		2023-04-18 20:43:11 +02:00
..
config	ci/config: correct instruction for CI preferences	2020-05-18 10:18:34 -07:00
util	travis-ci: include the trash directories of failed tests in the trace log	2018-08-01 09:59:36 -07:00
check-directional-formatting.bash	ci: disallow directional formatting	2021-11-04 10:13:10 -07:00
install-dependencies.sh	Merge branch 'ab/ci-use-macos-12'	2022-12-10 14:01:06 +09:00
install-docker-dependencies.sh	CI: rename the "Linux32" job to lower-case "linux32"	2021-11-23 16:51:53 -08:00
lib.sh	ci: adjust Azure Pipeline for `runs_on_pool`	2023-04-18 12:52:26 +02:00
make-test-artifacts.sh	ci(github): use grouping also in the `win-build` job	2022-06-13 09:58:41 -07:00
mount-fileshare.sh	Add a build definition for Azure DevOps	2019-01-29 09:26:46 -08:00
print-test-failures.sh	CI: remove Travis CI support	2021-11-23 16:51:53 -08:00
run-build-and-tests.sh	Merge branch 'ci-fixes'	2023-04-18 20:43:11 +02:00
run-docker-build.sh	CI: rename the "Linux32" job to lower-case "linux32"	2021-11-23 16:51:53 -08:00
run-docker.sh	CI: rename the "Linux32" job to lower-case "linux32"	2021-11-23 16:51:53 -08:00
run-static-analysis.sh	i18n CI: stop allowing non-ASCII source messages in po/git.pot	2022-05-26 10:30:28 -07:00
run-test-slice.sh	Merge branch 'ci-fixes'	2023-04-18 20:43:11 +02:00
test-documentation.sh	ci: ignore rubygems warning in the "Documentation" job	2020-02-10 09:52:27 -08:00