From f3053c85fd920fa953ccd9781941fc7480a87334 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Sun, 30 Jun 2024 14:23:58 +0100
Subject: [PATCH] chore(ci): include `@check` in ci

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 2336b4ed-101a-4cea-b3bf-4d21e5edb708 -->
---
 .github/workflows/nix.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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