Re: [PATCH] CI: remove support for Azure CI

Johannes Schindelin [off-list ref] writes:

It feels premature to remove the remnants of Azure Pipelines support
already now. It would be better to hold off a little, as much fun as
deleting and refactoring code may be for some of us.

Some of us? ;-)

The reason is that there are still some things that Azure Pipelines can do
that GitHub workflows cannot, for example:

- present the logs of failed tests in an intuitive manner,

- re-run _only_ failed jobs.

At this stage, I am not convinced yet that we should bet completely on
GitHub workflows.

Hearing directly from somebody who knows how Azure thing is used by
this project is a good sanity check for me.  Thanks.