Johannes Schindelin 5250be562e 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-06-01 10:14:25 -06:00

..

config

ci/config: correct instruction for CI preferences

2020-05-18 10:18:34 -07:00

util

…

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-06-01 10:14:14 -06: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

…

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-06-01 10:14:25 -06: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-06-01 10:14:25 -06:00

test-documentation.sh

…