Skip to content
Build and test FStar

Build and test FStar #4285

Sign in to view logs

Build and test FStar

Build and test FStar #4285

Manually triggered November 8, 2024 00:11
@mtzguidomtzguido
⁠ d306ce2
master
Status Success
Total duration 12m 25s
Artifacts –

linux-x64.yaml

on: workflow_dispatch
build
12m 16s
build
Fit to window
Zoom out
Zoom in