Windows CI

Merge pull request #27310 from mseri/coq-serapi #28

Sign in to view logs

Triggered via push January 23, 2025 12:54

mseri

master

Status Success

Total duration 57s

Artifacts –

windows.yml

on: push

Matrix: build