Merge pull request #1200 from danielpeter/devel #108

Job	Run time
Check file changes	16s
Test on Mac	5m 27s
Test Intel on ubuntu-20.04	11m 31s
Test on ubuntu-latest	1m 4s
Test on ubuntu-20.04	1m 39s
Test run example 0 - make tests	2m 34s
Test run example 10 - simple_topography_and_also_a_simple_fluid_layer debug double_precision	2m 10s
Test run example 11 - tomographic_ocean_model	1m 22s
Test run example 1 - benchmark claerbout kernel acoustic	2m 39s
Test run example 2 - benchmark claerbout kernel elastic P-SV	2m 30s
Test run example 3 - benchmark claerbout kernel elastic SH	2m 47s
Test run example 4 - benchmark claerbout kernel acoustic-elastic	2m 50s
Test run example 5 - moving sources	1m 44s
Test run example 6 - anisotropy	1m 18s
Test run example 7 - Industrial_Format_SEP	4m 12s
Test run example 8 - axisymmetric_case_AXISYM_option	1m 51s
Test run example 9 - simple_topography_and_also_a_simple_fluid_layer debug	2m 14s
	48m 8s

Provide feedback