Merge pull request #6477 from paulzierep/update-gtdbtk-DM #31

Job	Run time
Setup cache and determine changed repositories (3.11)	5m 42s
Lint tool-list (3.11)	2m 20s
Lint R scripts (ubuntu-20.04, release)	3m 38s
Lint Python scripts	0s
Check file sizes	0s
Test tools (0, 3.11)	57m 44s
Test tools (1, 3.11)	46m 43s
Test tools (2, 3.11)	49m 4s
Test tools (3, 3.11)	19m 5s
Combine chunked test results (3.11)	33s
Deploy	0s
Check workflow success	0s
Report deploy status	0s
	3h 4m 49s

Provide feedback