CorePinnedPool: use SingleCorePool on processes=1 (!89) · Merge requests · DERUMIGNY Nicolas / palmed · GitLab

Mentions légales du service

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

Théophile BASTIAN requested to merge tbastian/singlecorepool_fallback into master Apr 22, 2021

This has been tested and seems to work. Fixes #39 (closed)