Improve handling of user header #1538

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS-latest (devel)	1h 17m 10s
macOS-latest (release)	1h 11m 57s
windows-latest (devel)	2h 6m 40s
windows-latest (release)	1h 50m 20s
windows-latest (oldrel)	9m 43s
ubuntu-20.04 (devel)	1h 16m 0s
ubuntu-20.04 (release)	1h 21m 48s
ubuntu-20.04 (oldrel)	1h 6m 14s
ubuntu-20.04 (3.6)	1h 14m 15s
	11h 34m 7s