in `ErrorMayQuit` calls, replace `%i` by `%d` #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	1m 41s
master	59s
stable-4.13	1m 1s
stable-4.12	2m 58s
stable-4.11	2m 48s
	9m 27s