Skip to content
GitHub macOS CI

Rename coqide -> rocqide #4571

Sign in to view logs

Rename coqide -> rocqide

Rename coqide -> rocqide #4571

Triggered via push January 13, 2025 13:29
@SkySkimmerSkySkimmer
pushed 4c6a3ea
rename-coqide
Status Failure
Total duration 13m 23s
Artifacts –

ci-macos.yml

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

Annotations

1 error
macOS
Process completed with exit code 1.