Build F* binaries (all archs)

WIP: windows build workflow #17

Sign in to view logs

Triggered via push January 11, 2025 05:12

mtzguido

ww

Status Cancelled

Total duration 1m 48s

Artifacts –

build-all.yml

on: push

build-linux / build-linux

build-windows / build-windows

Annotations

2 errors

build-linux / build-linux

The run was canceled by @mtzguido.

build-linux / build-linux

The operation was canceled.