dist

Merge commit '7c13b6939e1f3f262adc8265390b594c2b4e9fd9' #139

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
init	2s
log-the-inputs	1s
build-chm	1m 1s
display results	1s
make distcheck	2m 21s
	3m 26s