diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml index 82bb77a7e..2a9fdbf04 100644 --- a/.github/workflows/nix.yml +++ b/.github/workflows/nix.yml @@ -16,4 +16,4 @@ jobs: with: nix_path: nixpkgs=channel:nixos-unstable - run: | - nix develop -c dune runtest + nix develop -c dune build @runtest @check