Skip to content
Windows CI

Rename coqide -> rocqide #4416

Sign in to view logs

Rename coqide -> rocqide

Rename coqide -> rocqide #4416

Triggered via push January 13, 2025 16:06
@SkySkimmerSkySkimmer
pushed 823acb3
rename-coqide
Status Success
Total duration 58m 52s
Artifacts 1

ci-windows.yml

on: push
Matrix: Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
windows-installer
131 MB