Revert "TO REVERT: speed up testing while coverage is being modified" #581

Job	Run time
mmg-debug / ci (ubuntu-20.04, on, off, on, off, int32_t)	1h 16m 24s
mmg-debug / ci (ubuntu-20.04, on, off, off, off, int32_t)	1h 39m 45s
mmg-debug / ci (ubuntu-20.04, off, off, on, off, int32_t)	1h 5m 46s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int32_t)	1h 11m 6s
mmg-debug / ci (macos-12, on, off, on, off, int32_t)	40m 52s
mmg-debug / ci (macos-12, on, off, off, off, int32_t)	1h 21m 43s
mmg-debug / ci (macos-12, off, off, on, off, int32_t)	52m 7s
mmg-debug / ci (macos-12, off, off, off, off, int32_t)	39m 26s
mmg-debug / ci (ubuntu-20.04, off, off, off, on, int32_t)	4m 5s
mmg-debug / ci (macos-12, off, off, off, on, int32_t)	6m 49s
mmg-debug / ci (ubuntu-20.04, off, on, on, off, int32_t)	1h 2m 33s
mmg-debug / ci (macos-12, off, on, on, off, int32_t)	35m 15s
mmg-debug / ci (windows-2022, off, off, off, off, int32_t)	1h 2m 43s
mmg-debug / ci (windows-2022, on, off, off, off, int32_t)	56m 53s
mmg-debug / ci (windows-2022, off, on, off, off, int32_t)	54m 10s
mmg-debug / ci (ubuntu-20.04, on, on, on, on, int64_t)	12m 30s
mmg-debug / ci (ubuntu-20.04, off, off, on, on, int64_t)	1h 8m 13s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int64_t)	2m 10s
mmg-debug / ci (macos-12, on, on, on, on, int64_t)	7m 41s
mmg-debug / ci (macos-12, off, off, off, off, int64_t)	5m 6s
mmg-debug / ci (windows-2022, on, on, off, off, int64_t)	4m 34s
mmg-debug / ci (windows-2022, off, off, off, off, int64_t)	4m 57s
mmg-debug / upload_coverage	1m 46s
	15h 16m 34s

Provide feedback