Skip to content
Build and test FStar

Merge pull request #3566 from mtzguido/showable_standalone #4180

Sign in to view logs

Merge pull request #3566 from mtzguido/showable_standalone

Merge pull request #3566 from mtzguido/showable_standalone #4180

Triggered via push October 15, 2024 00:33
@mtzguidomtzguido
pushed 18ad23c
master
Status Success
Total duration 10m 22s
Artifacts –

linux-x64.yaml

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