case-sensitive datatypes #12351

Job	Run time
Setup cache and determine changed repositories (3.11)	7m 55s
Setup cache and determine changed repositories (3.11)	3m 3s
Check file sizes	37s
Check file sizes	46s
Lint tool-list (3.11)	53s
Lint tool-list (3.11)	1m 8s
Lint R scripts (ubuntu-20.04, release)	1m 24s
Lint R scripts (ubuntu-20.04, release)	1m 24s
Lint Python scripts (3.11)	30s
Lint Python scripts (3.11)	35s
Test tools (0, 3.11)	1h 41m 51s
Test tools (0, 3.11)	8m 10s
Combine chunked test results (3.11)	37s
Combine chunked test results (3.11)	56s
Check workflow success	1s
Check workflow success	1s
Deploy	0s
Deploy	0s
Report deploy status	0s
Report deploy status	0s
	2h 9m 51s

Provide feedback