Nix Build · Workflow runs · FStarLang/pulse · GitHub

Actions

All workflows
Workflows
- Build a Linux Pulse binary package Build a Linux Pulse binary package
- Build Pulse Binaries for MacOS Build Pulse Binaries for MacOS
- Build Pulse on Windows Build Pulse on Windows
- Nix Build Nix Build
- Pulse CI Pulse CI
- Pulse nightly build Pulse nightly build
Management
- Caches

Nix Build

Actions

Loading...
Loading

1 workflow run

1 workflow run

nix: init Nix Build #1: Pull request #264 synchronize by jhvst

31m 46s jhvst:jhvst/nix

jhvst:jhvst/nix

31m 46s