Skip to content
GitHub macOS CI

Merge PR #18009: Bump the MetaCoq CI timeout to 1h30. #2239

Sign in to view logs

Merge PR #18009: Bump the MetaCoq CI timeout to 1h30.

Merge PR #18009: Bump the MetaCoq CI timeout to 1h30. #2239

Triggered via push September 4, 2023 12:38
@SkySkimmerSkySkimmer
pushed 8524365
master
Status Success
Total duration 38m 6s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-macos.yml

on: push
macOS
37m 52s
macOS
Fit to window
Zoom out
Zoom in