Skip to content
Build and test FStar

Merge pull request #3608 from FStarLang/_BuildHints-master #4275

Sign in to view logs

Merge pull request #3608 from FStarLang/_BuildHints-master

Merge pull request #3608 from FStarLang/_BuildHints-master #4275

Triggered via push November 7, 2024 03:49
@mtzguidomtzguido
pushed 37eca61
master
Status Success
Total duration 10m 47s
Artifacts –

linux-x64.yaml

on: push
build
10m 41s
build
Fit to window
Zoom out
Zoom in