Skip to content
Build and test FStar

Build and test FStar #4446

Sign in to view logs

Build and test FStar

Build and test FStar #4446

Manually triggered January 8, 2025 16:47
@tahina-protahina-pro
⁠ 81e6d7d
master
Status Success
Total duration 16m 6s
Artifacts –

linux-x64.yaml

on: workflow_dispatch
build
15m 59s
build
Fit to window
Zoom out
Zoom in