CI

Merge pull request #511 from jcs-PR/ts-fold #382

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare_docker_image	9s
check_links_with_awesome_bot	7m 32s
check_toc_with_emacs	10s
	7m 51s