Back to pull request #684

doc: start using autodoc #213

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
GAP master / only-needed	4m 28s
GAP master / needed+suggested	13m 36s
GAP stable-4.11 / only-needed	5m 9s
GAP stable-4.11 / needed+suggested	13m 14s
GAP stable-4.12 / only-needed	4m 37s
GAP stable-4.12 / needed+suggested	13m 15s
GAP stable-4.13 / only-needed	4m 32s
GAP stable-4.13 / needed+suggested	13m 21s
	1h 12m 12s