Skip to content
Build F* (Windows)

Update build-windows.yml #2

Sign in to view logs

Update build-windows.yml

Update build-windows.yml #2

Triggered via push January 5, 2025 23:48
@mtzguidomtzguido
pushed cf5d64e
guido_w
Status Failure
Total duration 7m 4s
Artifacts –

build-windows.yml

on: push
build-windows
6m 57s
build-windows
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-windows
bash: command not found