Build F* (Windows, self-hosted) · Workflow runs · mtzguido/FStar · GitHub

Actions

All workflows
Workflows
- Check world (test F* + all subprojects) Check world (test F* + all subprojects)
- Build F* (ci) Build F* (ci)
- Build F* (Linux) Build F* (Linux)
- Build F* (macos) Build F* (macos)
- Build F* (Nix) Build F* (Nix)
- Build F* (opam) Build F* (opam)
- Build F* (src) Build F* (src)
- Build F* (Windows) Build F* (Windows)
- Build F* (Windows, self-hosted) Build F* (Windows, self-hosted)
- Build F* binaries (all archs) Build F* binaries (all archs)
Management
- Caches

Build F* (Windows, self-hosted)

Actions

Loading...
Loading

build-windows-selfhosted.yml

1 workflow run

1 workflow run

test Build F* (Windows, self-hosted) #1: Commit e44a79e pushed by mtzguido

1d 5h 34m 48s testw

testw

1d 5h 34m 48s