Documentation

ci: fix write permissions to deploy documentation #125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (master)	13s
build (kvmi)	26s
build (kvmi-v6)	48s
build (kvmi-v7)	45s
deploy	19s
	2m 31s