FStar Windows Package #17
windows.yml
on: workflow_dispatch
build-windows
18m 41s
Annotations
1 error
build-windows
Process completed with exit code 2.
|