CI

Add scroll-page-without-moving-point (#482) #266

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prepare_docker_image	9s
check_toc_with_emacs	12s
check_links_with_awesome_bot	5m 48s
	6m 9s