Adapt to coq/coq#17475 (Ltac2 externals can have arity 0)

[SkySkimmer]

No description provided.

[JasonGross]

I will set this one up to auto-merge as well, so that there's no two-day delay like last time. Just force-push / rebase (or git commit --amend --reset-author and force push) after the merge happens into Coq master and the docker dev image is updated, and this should auto-merge once CI passes

[ppedrot]

@SkySkimmer you'll have to force-push, I think I don't have the rights on this repo.

[SkySkimmer]

I will set this one up to auto-merge as well, so that there's no two-day delay like last time. Just force-push / rebase (or git commit --amend --reset-author and force push) after the merge happens into Coq master and the docker dev image is updated, and this should auto-merge once CI passes

@JasonGross that doesn't work, see the message github left:

auto-merge was automatically disabled May 2, 2023 10:02
Head branch was pushed to by a user without write access

[SkySkimmer]

Please merge now