CI

Changes to update in accordance with CI #276

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare_docker_image	12s
check_toc_with_emacs	11s
check_links_with_awesome_bot	6m 13s
	6m 36s