Johannes Schindelin 17a7816817 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-11-03 08:42:08 +01:00

..

config

ci: deprecate ci/config/allow-ref script

2023-08-30 15:56:11 -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-11-03 08:30:16 +01: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-11-03 08:42:08 +01: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-11-03 08:42:08 +01:00

test-documentation.sh

ci: ignore rubygems warning in the "Documentation" job

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