Skip to content
Build and test FStar

Merge pull request #3646 from FStarLang/gebner_getz3_macos #4403

Sign in to view logs

Merge pull request #3646 from FStarLang/gebner_getz3_macos

Merge pull request #3646 from FStarLang/gebner_getz3_macos #4403

Triggered via push December 26, 2024 19:39
@gebnergebner
pushed a3be612
master
Status Success
Total duration 16m 16s
Artifacts –

linux-x64.yaml

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