Back to pull request #1759

Remove setting of prog_name, this implies that an executable named 'm… #1100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	32s
CI Pipeline / Build	13m 1s
CI Pipeline / Test	45m 8s
checks / other-checks	32s
checks / check-style	58s
CI Pipeline / Check	13m 56s
CI Pipeline / Documentation	26m 29s
CI Pipeline / Package	0s
pr-builder / run	1s
	1h 40m 37s