Skip to content
GitHub macOS CI

Rename coqide -> rocqide #4580

Sign in to view logs

Rename coqide -> rocqide

Rename coqide -> rocqide #4580

Triggered via push January 13, 2025 16:32
@SkySkimmerSkySkimmer
pushed 82771e2
rename-coqide
Status Success
Total duration 20m 34s
Artifacts –

ci-macos.yml

on: push
macOS
20m 24s
macOS
Fit to window
Zoom out
Zoom in