Skip to content
Build and test FStar

Merge pull request #3612 from FStarLang/_BuildHints-master #4287

Sign in to view logs

Merge pull request #3612 from FStarLang/_BuildHints-master

Merge pull request #3612 from FStarLang/_BuildHints-master #4287

Triggered via push November 8, 2024 13:21
@mtzguidomtzguido
pushed 4eb2235
master
Status Success
Total duration 10m 33s
Artifacts –

linux-x64.yaml

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