dist

Merge commit 'f09b14a2cbcb189af2e95891b10077b9d7639bec' #93

# to view logs

Run time

Learn about OS # on GitHub Actions

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