Skip to content
GitHub macOS CI

rename coqworker -> rocqworker #4525

Sign in to view logs

rename coqworker -> rocqworker

rename coqworker -> rocqworker #4525

Triggered via push January 6, 2025 12:39
@SkySkimmerSkySkimmer
pushed b76eea2
rocqworker
Status Success
Total duration 19m 42s
Artifacts –

ci-macos.yml

on: push
macOS
19m 33s
macOS
Fit to window
Zoom out
Zoom in