[ci] coq-ext-lib build is broken #12441
Labels
kind: bug
An error, flaw, fault or unintended behaviour.
kind: ci-failure
Information about unexpected and random CI failures.
Coq ext lib has been broken for a while, following upstream changes:
The text was updated successfully, but these errors were encountered: