We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
def90f1
Remove scheduled workflows C.f. https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Make.20hint.20locality.20warning.20an.20error/near/281696330