From 8fe222f371a6e7aea57049d3aab3588d86ee2a06 Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Mon, 18 May 2026 16:10:59 +0200
Subject: [PATCH] ci: smoke-test docker image by indexing scip-go itself

---
 .github/workflows/test.yaml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 7a86abf..be43e99 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -40,6 +40,17 @@ jobs:
           summarize: false
       - uses: DeterminateSystems/magic-nix-cache-action@v13
       - run: nix build .#docker
+      - name: Index scip-go with docker image
+        run: |
+          image=$(docker load -i result | sed -n 's/Loaded image: //p')
+          echo "Loaded $image"
+          docker run --rm \
+            -v "$GITHUB_WORKSPACE:/work" \
+            "$image" \
+            scip-go -o /work/index.scip
+          size=$(stat --format='%s' index.scip)
+          echo "Index size: $size bytes"
+          [ "$size" -ge 1024 ] || { echo "FAIL: index too small"; exit 1; }
 
   index:
     needs: [build]