Windows CI

Package rocq-rouche-capelli.0.1.0 #7394

Sign in to view logs

Triggered via pull request October 18, 2025 06:36

synchronize #28735

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

Status Success

Total duration 3m 9s

Artifacts –

windows.yml

on: pull_request

Matrix: build