FStar Binary Release

FStar Binary Release #2

Sign in to view logs

Manually triggered January 11, 2024 12:15

W95Psp

commit-bc62270

Status Cancelled

Total duration 46m 39s

Artifacts –

release.yml

on: workflow_dispatch

Annotations

1 error

build-linux

The run was canceled by @W95Psp.