FStar Windows Package · FStarLang/FStar@81854af

Re-run triggered December 19, 2024 20:02

tahina-pro

_taramana_windows

Status Success

Total duration 30m 53s

Artifacts 1

windows.yml

on: workflow_dispatch

Produced during runtime

Name	Size
fstar-Windows_x86_64.zip	208 MB