Update distribution-scripts #13276

Job	Run time
check_format	1m 36s
x86_64-gnu-test-preview_mt	5m 57s
x86_64-gnu-test (1.7.3)	33m 51s
x86_64-gnu-test (1.8.2)	36m 4s
x86_64-musl-test	37m 10s
x86_64-gnu-test (1.9.2)	32m 46s
x86_64-gnu-test (1.10.1)	34m 16s
x86_64-gnu-test (1.11.2)	34m 23s
x86_64-gnu-test (1.12.2)	35m 19s
x86_64-gnu-test (1.13.3)	35m 10s
x86_64-gnu-test (1.14.1)	34m 32s
x86_64-gnu-test (1.15.0)	33m 41s
x86_64-gnu-test (1.0.0, FLAGS=-Dwithout_ffi USE_PCRE1=true)	32m 25s
x86_64-gnu-test (1.1.1, FLAGS=-Dwithout_ffi USE_PCRE1=true)	33m 18s
x86_64-gnu-test (1.2.2, USE_PCRE1=true)	33m 21s
x86_64-gnu-test (1.3.2, USE_PCRE1=true)	33m 23s
x86_64-gnu-test (1.4.1, USE_PCRE1=true)	32m 44s
x86_64-gnu-test (1.5.1, USE_PCRE1=true)	32m 37s
x86_64-gnu-test (1.6.2, USE_PCRE1=true)	34m 44s
	9h 47m 17s

Provide feedback