CI

Merge pull request #503 from tninja/patch-2 #401

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare_docker_image	8s
check_toc_with_emacs	10s
check_links_with_awesome_bot	6m 28s
	6m 46s