Merge pull request #544 from FStarLang/clang-cl #2143

Triggered via push February 26, 2025 00:47

msprotz

master

Status Success

Total duration 15m 15s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Produced during runtime

Name	Size
log	115 KB