Skip to content

Update deployment target following server migration

Sébastien Dinot requested to merge sdinot/orekit:develop into develop

Due to the migration of the development server, the deployment target has changed (Spoutnik => Ganymede). The purpose of this MR is to integrate this change into the deployment process.

Merge request reports