chore(ci): include @check in ci

Signed-off-by: Rudi Grinberg <[email protected]>
mirage · Jun 30, 2024 · f3053c8 · f3053c8
1 parent f66a84d
commit f3053c8
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