FStar Binary Release

FStar Binary Release #3

Sign in to view logs

Manually triggered January 11, 2024 13:02

W95Psp

commit-bc62270

Status Failure

Total duration 3m 6s

Artifacts –

release.yml

on: workflow_dispatch

Annotations

1 error

build-linux

Process completed with exit code 1.