I've now set some of the github checks as "required", so they get a small
tag in the checks list. That should take care of (2).
(Hopefully, it doesn't break Volker's workflow - it shouldn't, because he
has the rights to overwrite any branch protection rules.)
On Monday, October 16, 2023 at 12:0
On Tuesday, October 17, 2023 at 12:50:27 AM UTC+9 tobia...@gmx.de wrote:
I've now set some of the github checks as "required", so they get a small
tag in the checks list. That should take care of (2).
I am not sure if that helps or makes things worse, as that is one more
thing to look and th
On Mon, 16 Oct 2023 at 23:22, Kwankyu Lee wrote:
>
> On Tuesday, October 17, 2023 at 12:50:27 AM UTC+9 tobia...@gmx.de wrote:
>
> I've now set some of the github checks as "required", so they get a small tag
> in the checks list. That should take care of (2).
>
> I am not sure if that helps or ma
Then I will write a PR that implements the generic version I described.
This is now #36472, but I am getting a problem with large looping in
p-adics that I cannot figure out. I haven't run other tests, but I think
the only issues are localized to that code.
Best,
Travis
On Monday, October 16,
