dist

Merge pull request #78 from dlparkhurst/mix_error #108

# to view logs

Run time

Learn about OS # on GitHub Actions

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