Documentation

The formulae `top` and `bot` are constant #1581

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
OCaml documentation	9m 46s
Sphinx documentation	38s
Deploy documentation	0s
	10m 24s