Since yesterday evening, all pipelines executed by our CI/CD platform have failed due to the failure to resolve the name gitlab.orekit.org (sic!) in Docker containers. We are currently investigating the cause of the problem. Stay tuned…
Issue fixed! It took me a while to identify the source of the problem, but once I did, the resolution was simple: restart the Docker service on the server running the Gitlab Runner executor.
Pipeline in progress: