CI: reactivate macOS
It was deactivated due to the fact M3DISIM MacPro used so far for CI couldn't be updated to XCode 15.
New runners have been installed on the brand new SED MacMini with a M2 chip.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
It was deactivated due to the fact M3DISIM MacPro used so far for CI couldn't be updated to XCode 15.
New runners have been installed on the brand new SED MacMini with a M2 chip.