-
Ralf Jung authored
This reverts commit 1226aa9c. https://github.com/coq/coq/issues/13732 is supposed to be fixed; let's see.
5640920d
Validating GitLab CI configuration…
Learn more
This reverts commit 1226aa9c. https://github.com/coq/coq/issues/13732 is supposed to be fixed; let's see.