Commits on Feb 16, 2024

1. Import SlicingOptions from P2

   

   laeubi committed Feb 16, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 86bf842
   • Browse repository at this point

   Copy the full SHA

   86bf842 View commit details

   Browse the repository at this point in the history

2. Make the slicing options of the mirror-target-platform mojo configurable …

   Currently the mirror-target-platform mirrors everything it could gather,
   that could probably be to much, one maybe even want to configure even
   more things like optional dependencies.
   
   This now adds a new <options> parameter that allows to fine tune the
   slicing options used for mirror the target.
   Apply suggestions from code review
   
   Co-authored-by: Titouan Vervack <tivervac@gmail.com>

   

   laeubi and tivervac committed Feb 16, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 5a1eef3
   • Browse repository at this point

   Copy the full SHA

   5a1eef3 View commit details

   Browse the repository at this point in the history