Dear all,
The CI/CD pipeline for the Orekit Tutorials project fails on the develop branch. This seems to be due to a change in the Orekit API that has not been reported in the tutorials.
Could those of you who have been working on the develop branch of the Orekit project in recent weeks take a look at the tutorials and make the equivalent changes?
@MaximeJ suggested implementing a hook that triggers CI/CD for tutorials on the develop branch when the develop branch of the Orekit project evolves and the CI/CD pipeline on that branch is successful. I think this is an excellent idea. What do you think?