Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Orekit Orekit
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 90
    • Issues 90
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 16
    • Merge requests 16
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Orekit
  • OrekitOrekit
  • Merge requests
  • !14

Install in local Maven cache of CI the Orekit binary archive

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Sébastien Dinot requested to merge sdinot/orekit:install-jar-from-develop into develop Aug 19, 2019
  • Overview 1
  • Commits 6
  • Changes 1

CI of projects which depend on Orekit, such as Rugged, need the latest snapshot archive to be installed in the local Maven cache to build successfully. To avoid confusion and non-reproducible results that could come out from archives generated by different branches, only archives produced by the develop branch should be installed.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: install-jar-from-develop