Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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.
