Skip to content
GitHub macOS CI

Merge PR #20012: More informative error from universe instance length… #14424

Sign in to view logs

Merge PR #20012: More informative error from universe instance length…

Merge PR #20012: More informative error from universe instance length… #14424

Triggered via push January 15, 2025 15:17
@coqbot-appcoqbot-app[bot]
pushed c788be7
master
Status Success
Total duration 26m 28s
Artifacts –

ci-macos.yml

on: push
macOS
23m 49s
macOS
Fit to window
Zoom out
Zoom in