FStar Binary Release

Create F* release and publish #56

Sign in to view logs

Manually triggered January 7, 2025 03:03

mtzguido

master

Status Cancelled

Total duration 13m 55s

Artifacts –

release.yml

on: workflow_dispatch

Annotations

1 error

build-linux

The run was canceled by @mtzguido.