CI

Remove internal copy of AppendCStr #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	1m 41s
Build manuals	1m 27s
stable-4.13	2m 7s
stable-4.12	2m 11s
master 32	2m 29s
	9m 55s