fix make ci

This commit is contained in:
Hongrui Fang 2023-01-20 18:01:51 +08:00
parent 58629562da
commit 8b673356d3
No known key found for this signature in database
GPG key ID: F2D0D08AF77AC599

View file

@ -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