Back to pull request #126

add `PKGMAN_PathSystemProgram` #136

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	2m 32s
master	3m 53s
stable-4.13	5m 36s
stable-4.12	3m 39s
stable-4.11	3m 40s
	19m 20s