Skip to content
GitLab
Explore
Sign in
Register
Orekit
Orekit
Merge requests
!135
Disabling CI through Jenkins
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sébastien Dinot
requested to merge
sdinot/orekit:disabling-jenkins
into
develop
Feb 24, 2021
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Orekit CI doesn't rely anymore on Jenkins. Therefore, the Jenkins script can be removed.
Merge request reports