Weekly release · 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
- Update KaRaMeL submodule Update KaRaMeL submodule
- Weekly release Weekly release
- Benchmark Comparison Benchmark Comparison
- 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

Weekly release

Actions

Loading...
Loading

weekly-release.yml

6 workflow runs

6 workflow runs

Weekly release Weekly release #6: Scheduled

55m 22s master

master

55m 22s

Weekly release Weekly release #5: Scheduled

56m 27s master

master

56m 27s

Weekly release Weekly release #4: Scheduled

56m 34s master

master

56m 34s

Weekly release Weekly release #3: Scheduled

53m 20s master

master

53m 20s

Weekly release Weekly release #2: Scheduled

53m 25s master

master

53m 25s

Weekly release Weekly release #1: Scheduled

3h 1m 13s master

master

3h 1m 13s