Build

Simplify `make documentation` #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	6m 41s
linux (aarch64)	7m 37s
linux (arm)	10m 9s
linux (ppc)	9m 29s
linux (riscv)	7m 8s
linux (x86_32)	6m 8s
linux (x86_64)	6m 19s
	53m 31s