El vie., 21 de ago. de 2020 a la(s) 15:54, Guido van Rossum
(gu...@python.org) escribió:
>
> Does closing and reopening the PR work?
>
Yeap, it worked, thanks!
--
.Facundo
Blog: http://www.taniquetil.com.ar/plog/
PyAr: http://www.python.org.ar/
Twitter: @facundobatista
On 8/21/2020 2:54 PM, Guido van Rossum wrote:
Does closing and reopening the PR work?
https://github.com/python/cpython/pull/21466
Yes, ready to merge.
--
Terry Jan Reedy
___
Python-Dev mailing list -- python-dev@python.org
To unsubscribe
Hi, Facundo.
You could try closing the PR and then re-opening it.
Eric
On 8/21/2020 2:18 PM, Facundo Batista wrote:
Hello!
I want to land this PR:
https://github.com/python/cpython/pull/21466
It's doc only, so it only run the docs part in GH actions. All fine,
except Travis, which is
Does closing and reopening the PR work?
On Fri, Aug 21, 2020 at 11:19 Facundo Batista
wrote:
> Hello!
>
>
>
> I want to land this PR:
>
>
>
> https://github.com/python/cpython/pull/21466
>
>
>
> It's doc only, so it only run the docs part in GH actions. All fine,
>
> except Travis, which is
(Whoops, replied only to Facundo by mistake. Resending with reply to the list
as well.)
At first glance, it looks like Travis not acting upon a build request.
First, AFAICS from the UI, you can merge it regardless. But I suggest
restarting the checks as it might be an actual problem for
