From 8b673356d3967c58fc8b2b913a83c4c27430c936 Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Fri, 20 Jan 2023 18:01:51 +0800
Subject: [PATCH] fix `make ci`

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 37c916a..a622b2d 100644
--- a/Makefile
+++ b/Makefile
@@ -100,4 +100,4 @@ build: requires_nix_shell
 
 ci:
 	@ [[ "$$(uname -sm)" == "Linux x86_64" ]] || (echo "NOTE: CI only builds on Linux x86_64. Your system is $$(uname -sm), continuing...")
-	nix build .#check.$(shell nix eval -f '<nixpkgs>' system)
+	nix build .#checks.$(shell nix eval -f '<nixpkgs>' system).required