diff --git a/.github/workflows/nix-checks.yaml b/.github/workflows/nix-checks.yaml
index e8ddd502..a255ba09 100644
--- a/.github/workflows/nix-checks.yaml
+++ b/.github/workflows/nix-checks.yaml
@@ -22,7 +22,7 @@ jobs:
       - uses: DeterminateSystems/magic-nix-cache-action@v13
       - run: nix build .#checks.x86_64-linux.${{ matrix.check }}
 
-  packages:
+  runs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
@@ -33,4 +33,5 @@ jobs:
       - uses: actions/checkout@v6
       - uses: DeterminateSystems/nix-installer-action@v21
       - uses: DeterminateSystems/magic-nix-cache-action@v13
-      - run: nix build .#${{ matrix.package }}
+      - run: nix run .#${{ matrix.package }}
+      - run: git diff --exit-code
diff --git a/.github/workflows/protobuf-reprolang.yml b/.github/workflows/protobuf-reprolang.yml
deleted file mode 100644
index d2b73d2f..00000000
--- a/.github/workflows/protobuf-reprolang.yml
+++ /dev/null
@@ -1,24 +0,0 @@
-name: Generated code is up to date
-
-on:
-  pull_request:
-    paths:
-      - '.github/workflows/**'
-      - 'docs/**'
-      - 'bindings/**'
-      - 'scip.proto'
-      - 'buf**'
-      - 'flake.nix'
-      - 'flake.lock'
-      - 'cmd/scip/tests/reprolang/**'
-
-jobs:
-  gen-up-to-date:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v6
-      - uses: DeterminateSystems/nix-installer-action@v21
-      - uses: DeterminateSystems/magic-nix-cache-action@v13
-      - name: Regenerate protobuf bindings
-        run: nix run .#proto-generate
-      - run: git diff --exit-code