FStar Binary Release

Create F* release and publish #57

Sign in to view logs

Manually triggered January 7, 2025 06:35

mtzguido

master

Status Failure

Total duration 29m 28s

Artifacts –

release.yml

on: workflow_dispatch

Annotations

1 error

build-linux

Process completed with exit code 1.