Johannes Schindelin a44487bfd0 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-08-10 18:11:41 +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-08-10 18:11: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-08-10 18:11:41 +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-08-10 18:11:41 +02:00

test-documentation.sh

ci: ignore rubygems warning in the "Documentation" job

2020-02-10 09:52:27 -08:00