Skip to content
Windows CI

Merge PR #19943: GADT-based representation of module / module types. #4337

Sign in to view logs

Merge PR #19943: GADT-based representation of module / module types.

Merge PR #19943: GADT-based representation of module / module types. #4337

Triggered via push December 19, 2024 12:10
@SkySkimmerSkySkimmer
pushed 734ec43
master
Status Success
Total duration 59m 44s
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