Merge pull request #831 from danielpeter/devel #162

Job	Run time
Check file changes	26s
Test on ubuntu-latest	2m 5s
Test Intel on ubuntu-20.04	11m 48s
Test on ubuntu-20.04	2m 16s
Test on Mac	12m 12s
Test run example 0 - make tests	6m 41s
Test run example 3 - regional_sgloberani	2m 34s
Test run example 2 - regional_Greece_small	2m 55s
Test run example 1 - regional_Greece_small debug	2m 11s
Test run example 4 - point_force	3m 34s
Test run example 5 - moon_global	4m 20s
Test run example 6 - mars_regional	2m 49s
	53m 51s

Provide feedback