Add trivial pipeline (!1) · Merge requests · Orekit / Orekit Website · GitLab

The source project of this merge request has been removed.

Merged Guilhem Bonnefille requested to merge (removed):trivial-gitlab-ci into master Oct 08, 2019

Just a really trivial pipeline to validate any change.