dist

Merge commit 'ef0021678399f4031d188b159c31841a9b8831d5' #30

# to view logs

Run time

Learn about OS # on GitHub Actions

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