-
Pierre-Marie Pédrot authored
We changed the CI host from Gitlab to the local INRIA instance in August 2023, but it hadn't been updated in the README since. As a result the display was completely unrelated to the actual state of the Coq CI.
ef19315d