Update distribution-scripts #13277

Job	Run time
check_format	1m 39s
x86_64-gnu-test (1.7.3)	33m 32s
x86_64-gnu-test (1.8.2)	34m 33s
x86_64-gnu-test (1.9.2)	34m 38s
x86_64-gnu-test-preview_mt	5m 47s
x86_64-gnu-test (1.10.1)	32m 33s
x86_64-musl-test	35m 4s
x86_64-gnu-test (1.11.2)	34m 45s
x86_64-gnu-test (1.12.2)	33m 33s
x86_64-gnu-test (1.13.3)	33m 10s
x86_64-gnu-test (1.14.1)	33m 37s
x86_64-gnu-test (1.15.0)	33m 27s
x86_64-gnu-test (1.0.0, FLAGS=-Dwithout_ffi USE_PCRE1=true)	34m 6s
x86_64-gnu-test (1.1.1, FLAGS=-Dwithout_ffi USE_PCRE1=true)	34m 2s
x86_64-gnu-test (1.2.2, USE_PCRE1=true)	33m 4s
x86_64-gnu-test (1.3.2, USE_PCRE1=true)	33m 23s
x86_64-gnu-test (1.4.1, USE_PCRE1=true)	33m 4s
x86_64-gnu-test (1.5.1, USE_PCRE1=true)	34m 34s
x86_64-gnu-test (1.6.2, USE_PCRE1=true)	33m 37s
	9h 42m 8s

Provide feedback