Build #113 (Oct 8, 2020, 1:45:59 PM)

1. contrib/ci.inria.fr: allow custom builds to force an email notification (details / githubweb)
2. contrib/ci.inria.fr: only trigger nightly builds when running in the official extended job (details / githubweb)
3. contrib/ci.inria.fr: merge basic+extended Jenkins pipelines (details / githubweb)
4. contrib/ci.inria.fr: fix buggy conflict merge in previous commit (details / githubweb)

Push event to branch v2.0 at 1:45:43 PM on Oct 8, 2020

• v2.0