Johannes Schindelin a2ff409a53 ci: adjust Azure Pipeline for runs_on_pool ...

These refactorings are really gifts that keep on giving.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

2022-12-06 08:09:57 +01: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

ci: install python on ubuntu

2022-11-27 09:33:43 +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

2022-12-06 08:09:57 +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 'js/ci-github-workflow-markup'

2022-06-07 14:10:57 -07: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

ci/run-build-and-tests: add some structure to the GitHub workflow output

2022-05-21 16:25:56 -07:00

test-documentation.sh

ci: ignore rubygems warning in the "Documentation" job

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