Skip to content
GitLab
Explore
Sign in
Register
Orekit
Orekit
Merge requests
!48
Remove Deploy from Jenkinsfile
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guilhem Bonnefille
requested to merge
remove-deploy-from-jenkins
into
develop
Mar 02, 2020
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
This stage is made by gitlab now. It seems better to avoid duplicate publication of artifacts.
Merge request reports