Continuous Integration

Documentation isn't built until after `make dist` #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubsan_build	18s
build_and_coverage	39s
valgrind_build	36s
	1m 33s