Files
git/ci
Johannes Schindelin 80beb77d3e 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>
2023-05-13 09:24:00 +02:00
..