Merge pull request #271 from mpotse/develop #601

Job	Run time
mmg-debug / ci (ubuntu-20.04, on, off, on, off, int32_t)	1h 17m 47s
mmg-debug / ci (ubuntu-20.04, on, off, off, off, int32_t)	1h 41m 13s
mmg-debug / ci (ubuntu-20.04, off, off, on, off, int32_t)	1h 2m 35s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int32_t)	1h 14m 47s
mmg-debug / ci (macos-12, on, off, on, off, int32_t)	39m 31s
mmg-debug / ci (macos-12, on, off, off, off, int32_t)	54m 47s
mmg-debug / ci (macos-12, off, off, on, off, int32_t)	32m 33s
mmg-debug / ci (macos-12, off, off, off, off, int32_t)	40m 8s
mmg-debug / ci (ubuntu-20.04, off, off, off, on, int32_t)	3m 39s
mmg-debug / ci (macos-12, off, off, off, on, int32_t)	8m 4s
mmg-debug / ci (ubuntu-20.04, off, on, on, off, int32_t)	1h 2m 57s
mmg-debug / ci (macos-12, off, on, on, off, int32_t)	31m 17s
mmg-debug / ci (windows-2022, off, off, off, off, int32_t)	56m 48s
mmg-debug / ci (windows-2022, on, off, off, off, int32_t)	53m 34s
mmg-debug / ci (windows-2022, off, on, off, off, int32_t)	56m 37s
mmg-debug / ci (ubuntu-20.04, on, on, on, on, int64_t)	4m 17s
mmg-debug / ci (ubuntu-20.04, off, off, on, on, int64_t)	1h 10m 52s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int64_t)	1m 45s
mmg-debug / ci (macos-12, on, on, on, on, int64_t)	7m 27s
mmg-debug / ci (macos-12, off, off, off, off, int64_t)	4m 4s
mmg-debug / ci (windows-2022, on, on, off, off, int64_t)	5m 5s
mmg-debug / ci (windows-2022, off, off, off, off, int64_t)	5m 26s
mmg-debug / upload_coverage	2m 18s
	14h 17m 31s

Provide feedback