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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-doc-magic (26.3)	33s
other-magic (coq-8.19.1-emacs-26.3)	1m 33s
check-doc-magic (27.2)	33s
other-magic (coq-8.19.1-emacs-27.1)	1m 36s
check-doc-magic (28.2)	31s
other-magic (coq-8.19.1-emacs-27.2)	1m 36s
check-doc-magic (29.2)	35s
other-magic (coq-8.19.1-emacs-28.1)	1m 38s
other-magic (coq-8.19.1-emacs-28.2)	1m 36s
other-magic (coq-8.19.1-emacs-29.1)	1m 36s
other-magic (coq-8.19.1-emacs-29.2)	1m 38s
	13m 25s