update ci from template

Author: Geometer1729

.github/workflows/ci.yaml

@@ -22,4 +22,5 @@ jobs:
       - uses: yaxitech/nix-install-pkgs-action@v3
         with:
           packages: "github:srid/nixci"
-      - run: nixci
+      - run: nixci build
+      - run: nix develop -c ghc --version