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

Actions

Loading...
Loading

1 workflow run

1 workflow run

Test OCaml 5.3 in CI Build F* (opam) #1: Commit 5115f65 pushed by mtzguido

Failure ppxlib

ppxlib

Failure