Merge pull request #434 from target/ci-lint-check-cargo-nix-diff

ci_lint: ensure generated files are checked in correctly

shell.nix

@@ -100,6 +100,9 @@ pkgs.mkShell (
 
         ./nix/update-carnix.sh
         carnixupdate=$?
+        git diff --quiet -- Cargo.nix
+        carnixdiff=$?
+        carnixupdate=$((carnixupdate + carnixdiff))
 
         cargo fmt -- --check
         cargofmtexit=$?
@@ -110,6 +113,7 @@ pkgs.mkShell (
         set +x
         echo "./nix/fmt.sh --check: $nix_fmt"
         echo "carnix update: $carnixupdates"
+        echo "Cargo.nix changed: $carnixdiff"
         echo "cargo fmt: $cargofmtexit"
         echo "cargo clippy: $cargoclippyexit"
 
@@ -130,11 +134,15 @@ pkgs.mkShell (
         cargo test
         cargotestexit=$?
 
+        git diff --quiet -- src/
+        gendiff=$?
+
         set +x
         echo "script tests: $scripttests"
+        echo "generated files changed: $gendiff"
         echo "cargo test: $cargotestexit"
 
-        sum=$((scripttest + cargotestexit))
+        sum=$((scripttest + cargotestexit + gendiff))
         if [ "$sum" -gt 0 ]; then
           return 1
         fi