FStar Binary Release

FStar Binary Release #46

Sign in to view logs

Re-run triggered September 5, 2024 17:16

mtzguido

master

Status Failure

Total duration 2m 24s

Artifacts –

release.yml

on: workflow_dispatch

Annotations

1 error

build-linux

Process completed with exit code 1.