Build F* binaries (all archs)

be safe #24

Sign in to view logs

Triggered via push January 11, 2025 09:10

mtzguido

ww

Status Failure

Total duration 16m 22s

Artifacts –

build-all.yml

on: push

build-linux / build-linux

build-macos / build-macos

build-windows / build-windows

Annotations

2 errors

build-linux / build-linux

Process completed with exit code 2.

build-macos / build-macos

Process completed with exit code 2.