Merge pull request #697 from bernt-matthias/openms2.9 #1467

Job	Run time
Setup cache and determine changed repositories (3.11)	4m 45s
Setup cache and determine changed repositories (3.11)	1m 2s
Lint tool-list (3.11)	1m 57s
Lint tool-list (3.11)	2m 11s
Lint R scripts (ubuntu-20.04, release)	2m 48s
Lint R scripts (ubuntu-20.04, release)	1m 37s
Check file sizes	0s
Check file sizes	0s
Lint Python scripts	0s
Lint Python scripts	0s
Test tools (0, 3.11)	1h 11m 27s
Test tools (0, 3.11)	1h 11m 6s
Test tools (1, 3.11)	54m 15s
Test tools (1, 3.11)	54m 35s
Test tools (2, 3.11)	52m 25s
Test tools (2, 3.11)	50m 51s
Test tools (3, 3.11)	37m 31s
Test tools (3, 3.11)	37m 32s
Combine chunked test results (3.11)	39s
Combine chunked test results (3.11)	41s
Check workflow success	0s
Check workflow success	0s
Deploy	0s
Report deploy status	2s
Report deploy status	0s
Deploy (3.11)	22m 0s
	7h 47m 24s

Provide feedback