Windows CI

Merge pull request #26592 from beldmian/opam-publish-kuznechik.0.1.1 #1453

Sign in to view logs

Triggered via push September 20, 2024 15:21

avsm

master

Status Success

Total duration 59s

Artifacts –

windows.yml

on: push

Matrix: build