Windows CI

Package rocq-rouche-capelli.0.1.0 #7393

Sign in to view logs

Triggered via pull request October 18, 2025 05:24

opened #28735

weng-chenghui:opam-publish-rocq-rouche-capelli.0.1.0

Status Success

Total duration 2m 59s

Artifacts –

windows.yml

on: pull_request

Matrix: build