Skip to content
GitHub macOS CI

Partially revert #18108: go back to canonical coq.inria.fr URLs. #182

Sign in to view logs

Partially revert #18108: go back to canonical coq.inria.fr URLs.

Partially revert #18108: go back to canonical coq.inria.fr URLs. #182

Triggered via push October 12, 2023 19:42
@Zimmi48Zimmi48
pushed 4c7510d
switch-urls-back-to-canonical-url
Status Success
Total duration 38m 48s
Artifacts –

ci-macos.yml

on: push
macOS
38m 34s
macOS
Fit to window
Zoom out
Zoom in