Manual revert of commit #642

Job	Run time
mmg-debug / ci (ubuntu-20.04, on, off, on, off, int32_t)	1h 16m 17s
mmg-debug / ci (ubuntu-20.04, on, off, off, off, int32_t)	1h 36m 22s
mmg-debug / ci (ubuntu-20.04, off, off, on, off, int32_t)	1h 0m 22s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int32_t)	1h 13m 41s
mmg-debug / ci (macos-12, on, off, on, off, int32_t)	37m 35s
mmg-debug / ci (macos-12, on, off, off, off, int32_t)	55m 52s
mmg-debug / ci (macos-12, off, off, on, off, int32_t)	36m 25s
mmg-debug / ci (macos-12, off, off, off, off, int32_t)	43m 34s
mmg-debug / ci (ubuntu-20.04, off, off, off, on, int32_t)	4m 20s
mmg-debug / ci (macos-14, off, off, off, on, int32_t)	4m 34s
mmg-debug / ci (ubuntu-20.04, off, on, on, off, int32_t)	1h 0m 28s
mmg-debug / ci (macos-12, off, on, on, off, int32_t)	39m 53s
mmg-debug / ci (windows-2022, off, off, off, off, int32_t)	53m 46s
mmg-debug / ci (windows-2022, on, off, off, off, int32_t)	52m 55s
mmg-debug / ci (windows-2022, off, on, off, off, int32_t)	55m 18s
mmg-debug / ci (ubuntu-20.04, on, on, on, on, int64_t)	5m 31s
mmg-debug / ci (ubuntu-20.04, off, off, on, on, int64_t)	1h 8m 31s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int64_t)	2m 34s
mmg-debug / ci (macos-14, on, on, on, on, int64_t)	6m 24s
mmg-debug / ci (macos-12, off, off, off, off, int64_t)	4m 53s
mmg-debug / ci (windows-2022, on, on, off, off, int64_t)	4m 23s
mmg-debug / ci (windows-2022, off, off, off, off, int64_t)	4m 47s
mmg-debug / upload_coverage	2m 28s
	14h 10m 53s

Provide feedback