Add TMTpro Options for PeptideShaker Tools #1548

Job	Run time
Setup cache and determine changed repositories (3.11)	4m 31s
Lint Python scripts (3.11)	17s
Lint tool-list (3.11)	43s
Lint R scripts (ubuntu-20.04, release)	2m 50s
Check file sizes	15s
Test tools (0, 3.11)	3m 34s
Test tools (1, 3.11)	3m 3s
Test tools (2, 3.11)	4m 7s
Test tools (3, 3.11)	5m 57s
Combine chunked test results (3.11)	29s
Check workflow success	1s
Deploy	0s
Report deploy status	0s
	25m 47s

Provide feedback