Updating tools/mummer4 from version 4.0.0 to 4.0.1 #16453

Job	Run time
Setup cache and determine changed repositories (3.11)	1m 29s
Lint R scripts (ubuntu-20.04, release)	1m 32s
Lint Python scripts (3.11)	30s
Check file sizes	43s
Lint tool-list (3.11)	51s
Test tools (0, 3.11)	3m 55s
Test tools (1, 3.11)	4m 27s
Test tools (2, 3.11)	6m 10s
Test tools (3, 3.11)	4m 48s
Combine chunked test results (3.11)	41s
Check workflow success	1s
Deploy	0s
Report deploy status	0s
	25m 7s

Provide feedback