Windows CI

Merge pull request #27476 from chandradeepdey/fstar.2025.02.17 #3912

Sign in to view logs

Triggered via push February 20, 2025 16:05

shonfeder

master

Status Success

Total duration 55s

Artifacts –

windows.yml

on: push

Matrix: build