Skip to content
GitHub macOS CI

Rename coqide -> rocqide #4579

Sign in to view logs

Rename coqide -> rocqide

Rename coqide -> rocqide #4579

Triggered via push January 13, 2025 16:22
@SkySkimmerSkySkimmer
pushed 41a6db4
rename-coqide
Status Success
Total duration 24m 2s
Artifacts –

ci-macos.yml

on: push
macOS
23m 50s
macOS
Fit to window
Zoom out
Zoom in