chore(ci): include @check in ci (#1062)

Signed-off-by: Rudi Grinberg <[email protected]>
mirage · Jun 30, 2024 · b0cb7b4 · b0cb7b4
1 parent 9d4aa18
commit b0cb7b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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