Build modules

CI: Allow deploy-pages to push to repo #466

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-arm	4m 7s
build-linux	2m 48s
build-macos	2m 25s
docs (3.10)	1m 17s
build-esp32	2m 29s
deploy-pages	-1s
	13m 5s