Skip to content
Windows CI

Merge PR #19956: Basic manpage for rocq #4394

Sign in to view logs

Merge PR #19956: Basic manpage for rocq

Merge PR #19956: Basic manpage for rocq #4394

Triggered via push January 9, 2025 16:28
@SkySkimmerSkySkimmer
pushed 8eacf86
master
Status Success
Total duration 57m 32s
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