Always store the headers of ASCII files when "externals". #2702

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu:20.04	2m 49s
ubuntu:22.04	2m 9s
ubuntu:23.10	2m 42s
debian:11	2m 20s
debian:12	2m 18s
debian:sid	4m 13s
fedora:38	4m 21s
fedora:39	3m 46s
fedora:rawhide	2m 46s
	27m 24s