dist

Merge commit 'aab60aa31cb5fa16158440f01ee8cbb468671eac' #141

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
init	3s
log-the-inputs	1s
build-chm	54s
display results	1s
make distcheck	2m 7s
	3m 6s