Skip to content

Create F* release and publish #58

Create F* release and publish

Create F* release and publish #58

Manually triggered January 7, 2025 08:44
Status Failure
Total duration 8m 38s
Artifacts

release.yml

on: workflow_dispatch
build-macos
0s
build-macos
build-windows
0s
build-windows
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-linux
Process completed with exit code 1.