Also provide Orekit 12.0 on PyPi

Clément Jonglezrequested to merge
12.0.2-compat into master

After merging:

  • Upload to PyPi (hopefully PyPi allows publishing an older version of the orekit-jpype package)
  • Tag the post-merge commit of the main branch with 12.0.2.0
  • Prepare a new MR which reverts this MR to bring back the main branch to Orekit 12.1 :)
Edited by Clément Jonglez

Merge request reports