Build documentation

refactor: use a generic consistent total ordering, also for floats #35

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
markdown-link-check	46s
deploy	12m 1s
lint	11s
	12m 58s