Build and test FStar

Fixes to make the windows binary build work #4311

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request December 4, 2024 22:25

mtzguido

synchronize #3620

_guido_windows

Status Success

Total duration 41m 17s

Artifacts –

linux-x64.yaml

on: pull_request