Back to pull request #191558

coqide: rename to `coq-platform`, update #161277

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
generate-matrix	26s
syntax (macos-15)	1m 39s
conclusion	1s
	2m 6s