Change CI pipeline
- Nov 11, 2020
-
-
Stéphane Del Pino authored
- merge build and test targets: this avoids recompiling most of the same files twice in the same conditions (build have been removed) - remove gcc-debug targets. Actually gcc-coverage use debug options This should lead to faster ci runs
-