CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
other-magic (coq-8.19.1-emacs-26.3)	1m 39s
other-magic (coq-8.19.1-emacs-27.1)	1m 33s
other-magic (coq-8.19.1-emacs-27.2)	1m 30s
other-magic (coq-8.19.1-emacs-28.1)	1m 31s
other-magic (coq-8.19.1-emacs-28.2)	1m 34s
check-doc-magic (26.3)	23s
other-magic (coq-8.19.1-emacs-29.1)	1m 36s
check-doc-magic (27.2)	24s
other-magic (coq-8.19.1-emacs-29.2)	1m 33s
check-doc-magic (28.2)	25s
check-doc-magic (29.2)	28s
	12m 36s