Skip to content
GitHub macOS CI

Merge PR #18486: Update CI branch for coqtail (master -> main) #62

Sign in to view logs

Merge PR #18486: Update CI branch for coqtail (master -> main)

Merge PR #18486: Update CI branch for coqtail (master -> main) #62

Triggered via push January 16, 2024 09:48
@eladrioneladrion
pushed 968c11b
master
Status Success
Total duration 1h 13m 40s
Artifacts –

ci-macos.yml

on: push
macOS
1h 13m
macOS
Fit to window
Zoom out
Zoom in