Create F* release and publish · Workflow runs · FStarLang/FStar · GitHub

Actions

All workflows
Workflows
- Check world (test F* + all subprojects) Check world (test F* + all subprojects)
- CI CI
- Create F* release and publish Create F* release and publish
- F* nightly build F* nightly build
- 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)
Management
- Caches
- Deployments

Create F* release and publish

Actions

Loading...
Loading

28 workflow runs

28 workflow runs

Create F* release and publish Create F* release and publish #57: Manually run by mtzguido

29m 28s master

master

29m 28s

Create F* release and publish Create F* release and publish #56: Manually run by mtzguido

13m 55s master

master

13m 55s

Create F* release and publish Create F* release and publish #55: Manually run by mtzguido

8m 12s master

master

8m 12s