Jenkinsfileis still present in the Orekit source code ;
- Jenkins is still running the pipeline.
Beyond Orekit, Hipparchus stopped using our instance of Jenkins 9 months ago and the Rugged stopped using it 8 months ago (Hipparchus migrated to Github Actions and Rugged to Gitlab CI too).
Therefore, do we still have good reason to :
- keep the Jenkinsfile script in the Orekit source code?
- keep our Jenkins instance?
For me, none. But I would be happy to hear your opinion on this.