Merge pull request #5896 from bernt-matthias/dis-dada2 #10

Job	Run time
Setup cache and determine changed repositories (3.11)	4m 59s
Lint tool-list (3.11)	3m 32s
Lint R scripts (ubuntu-20.04, release)	1m 37s
Check file sizes	0s
Lint Python scripts	0s
Test tools (0, 3.11)	28m 16s
Test tools (1, 3.11)	29m 18s
Test tools (2, 3.11)	1h 0m 6s
Test tools (3, 3.11)	1h 5m 46s
Combine chunked test results (3.11)	35s
Deploy	0s
Check workflow success	0s
Report deploy status	0s
	3h 14m 9s

Provide feedback