Merge branch 'master' into fix/update-to-v4-actions #209

Job	Run time
Linux (Debug, 9, shared=True, proxyfmu=True)	9m 26s
Windows (windows-2019, Debug, shared=True, proxyfmu=True)	8m 57s
Linux (Debug, 9, shared=True, proxyfmu=False)	8m 41s
Windows (windows-2019, Debug, shared=True, proxyfmu=False)	8m 42s
Linux (Debug, 9, shared=False, proxyfmu=True)	10m 6s
Windows (windows-2019, Debug, shared=False, proxyfmu=True)	9m 26s
Linux (Debug, 9, shared=False, proxyfmu=False)	7m 54s
Windows (windows-2019, Debug, shared=False, proxyfmu=False)	8m 55s
Linux (Release, 9, shared=True, proxyfmu=True)	7m 58s
Windows (windows-2019, Release, shared=True, proxyfmu=True)	5m 31s
Linux (Release, 9, shared=True, proxyfmu=False)	7m 40s
Windows (windows-2019, Release, shared=True, proxyfmu=False)	8m 1s
Linux (Release, 9, shared=False, proxyfmu=True)	9m 9s
Windows (windows-2019, Release, shared=False, proxyfmu=True)	6m 28s
Linux (Release, 9, shared=False, proxyfmu=False)	7m 22s
Windows (windows-2019, Release, shared=False, proxyfmu=False)	7m 6s
	2h 11m 22s

Provide feedback