Skip to content
GitHub macOS CI

Rename coqide -> rocqide #4573

Sign in to view logs

Rename coqide -> rocqide

Rename coqide -> rocqide #4573

Triggered via push January 13, 2025 13:33
@SkySkimmerSkySkimmer
pushed 14f6f76
rename-coqide
Status Success
Total duration 26m 27s
Artifacts –

ci-macos.yml

on: push
macOS
26m 16s
macOS
Fit to window
Zoom out
Zoom in