Improve handling of user header #1535

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS-latest (devel)	1h 5m 24s
macOS-latest (release)	1h 5m 14s
windows-latest (devel)	2h 4m 15s
windows-latest (release)	1h 39m 20s
windows-latest (oldrel)	1h 27m 22s
ubuntu-20.04 (devel)	57m 27s
ubuntu-20.04 (release)	1h 6m 4s
ubuntu-20.04 (oldrel)	1h 6m 42s
ubuntu-20.04 (3.6)	1h 12m 31s
	11h 44m 19s