Dear all,
I noticed that the Orekit CI/CD pipeline was relying on an outdated Docker image, which was causing the pipelines to fail:
Dear all,
I noticed that the Orekit CI/CD pipeline was relying on an outdated Docker image, which was causing the pipelines to fail: