Merge pull request #824 from UPO-Sevilla-Fco-Javier-Lobo-Cabrera/add-… #1828

Job	Run time
Setup cache and determine changed repositories (3.11)	5m 18s
Lint R scripts (ubuntu-24.04, release)	1m 7s
Test tools (0, 3.11)	7m 56s
Lint tool-list (3.11)	51s
Check file sizes	0s
Lint Python scripts	0s
Combine chunked test results (3.11)	44s
Deploy (3.11)	1m 13s
Check workflow success	0s
Report deploy status	5s
	17m 14s

Provide feedback