CI

Merge pull request #512 from jcs-PR/centaur-tabs #383

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare_docker_image	12s
check_links_with_awesome_bot	1h 30m 53s
check_toc_with_emacs	13s
	1h 31m 18s