Back to pull request #751

DON'T MERGE: investigate doc-magic problem in PR #750 #608

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-doc-magic (26.3)	34s
other-magic (coq-8.19.1-emacs-26.3)	1m 33s
check-doc-magic (27.2)	34s
other-magic (coq-8.19.1-emacs-27.1)	1m 39s
check-doc-magic (28.2)	29s
other-magic (coq-8.19.1-emacs-27.2)	1m 35s
check-doc-magic (29.2)	37s
other-magic (coq-8.19.1-emacs-28.1)	1m 39s
other-magic (coq-8.19.1-emacs-28.2)	1m 37s
other-magic (coq-8.19.1-emacs-29.1)	1m 35s
other-magic (coq-8.19.1-emacs-29.2)	1m 33s
	13m 25s