Skip to content
CI (Coq, Windows)

Adapt to https://github.com/coq/coq/pull/19530 #4677

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #4677

Run time

Learn about OS pricing on GitHub Actions
Job Run time
windows
16m 55s
publish-standalone
0s
test-standalone
0s
windows-check-all
1s
16m 56s