[new release] fstar (2025.02.17) #3886
Triggered via pull request
February 18, 2025 22:00
chandradeepdey
Status
Failure
Total duration
18m 24s
Artifacts
–
Annotations
1 error
|
build (windows-latest)
Process completed with exit code 1.
|