CI: Split coverage generation in 2 stages
- Jul 13, 2022
-
-
Hugo Beauzée-Luyssen authored36a6ccd5
-
Hugo Beauzée-Luyssen authored
In order to avoid duplicating the entire block for a 4.0 configuration
e7dbd16d -
Hugo Beauzée-Luyssen authoreded7fc7ab
-
Hugo Beauzée-Luyssen authored
This will allow us to aggregate more than a single configuration
5e62f46f
-