[New-bugs-announce] [issue39837] Remove Azure Pipelines from GitHub PRs

[STINNER Victor]

New submission from STINNER Victor <vstinner at python.org>:

The Azure Pipelines jobs have been reimplemented as GitHub actions which are better integrated with GitHub:

* Docs / Docs (pull_request)
* Tests / Windows (x64) (pull_request)
* Tests / macOS (pull_request)
* Tests / Ubuntu (pull_request)
* etc.

Azure Pipelines runs the same jobs, but it looks slower. It is voting and so prevents to merge a PR until it completes.

I propose to simply remove the job.

I already proposed it on python-dev:
https://mail.python.org/archives/list/python-dev@python.org/message/NC2ZS4WSF5AYGUUMBB7I4YIQ4YJXWBA5/

In this thread:
https://mail.python.org/archives/list/python-dev@python.org/thread/2NSPJUEWULTLLALR3HY3H2PRYAUT474C/#NC2ZS4WSF5AYGUUMBB7I4YIQ4YJXWBA5

----------
components: Tests
messages: 363279
nosy: vstinner
priority: normal
severity: normal
status: open
title: Remove Azure Pipelines from GitHub PRs
versions: Python 3.9

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue39837>
_______________________________________