Build F* (ci) · 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* (ci)

Actions

Loading...
Loading

1 workflow run

1 workflow run

Build F* (ci) Build F* (ci) #1: Manually run by mtzguido

1m 33s test4

test4

1m 33s