Build and deploy documentation

Include details of rejected/aborted/timed out annotations in the export #209

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-deploy	3m 17s
	3m 17s