Updating tools/mummer4 from version 4.0.0rc1 to 4.0.0 #16267

Job	Run time
Setup cache and determine changed repositories (3.11)	1m 26s
Lint Python scripts (3.11)	29s
Check file sizes	43s
Lint R scripts (ubuntu-20.04, release)	1m 31s
Test tools (0, 3.11)	4m 36s
Lint tool-list (3.11)	55s
Test tools (1, 3.11)	4m 48s
Test tools (2, 3.11)	5m 44s
Test tools (3, 3.11)	3m 34s
Combine chunked test results (3.11)	30s
Check workflow success	1s
Deploy	0s
Report deploy status	0s
	24m 17s

Provide feedback