Skip to content

Disabling CI through Jenkins

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

Orekit CI doesn't rely anymore on Jenkins. Therefore, the Jenkins script can be removed.

Merge request reports