From db0fdbc779e7f503b9065e2b42e73b451336f61e Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Wed, 29 Apr 2026 11:42:09 +0200
Subject: [PATCH 1/2] ci: report scip-go max RSS and CPU usage in step summary

Wrap the indexer invocation in /usr/bin/time -v and dump the relevant
lines (max RSS, user/system CPU time, %CPU) to the GitHub step summary
so each matrix entry's resource usage is visible from the job page.
---
 .github/workflows/test.yaml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 53c2f88..3698fc1 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -112,7 +112,9 @@ jobs:
 
       - name: Run scip-go
         working-directory: target
-        run: scip-go -o "$GITHUB_WORKSPACE/index.scip" -VV
+        run: |
+          /usr/bin/time -v -o "$GITHUB_WORKSPACE/metrics.txt" \
+            scip-go -o "$GITHUB_WORKSPACE/index.scip" -VV
 
       - name: Validate index
         working-directory: target
@@ -128,6 +130,16 @@ jobs:
             | jq -e --arg f "${{ matrix.expect_file }}" \
                 'any(.documents[]; .relative_path == $f)'
 
+      - name: Report resource usage
+        run: |
+          {
+            echo "### scip-go: ${{ matrix.name }}"
+            echo '```'
+            grep -E 'Maximum resident|User time|System time|Percent of CPU' \
+              "$GITHUB_WORKSPACE/metrics.txt"
+            echo '```'
+          } >> "$GITHUB_STEP_SUMMARY"
+
   fingerprint-sync:
     runs-on: ubuntu-latest
     steps:

From a6cefe68d9107c9413248cc56f8f0d6e411d769b Mon Sep 17 00:00:00 2001
From: jupblb <michal.kielbowicz@sourcegraph.com>
Date: Wed, 29 Apr 2026 11:58:31 +0200
Subject: [PATCH 2/2] ci: suppress Determinate Nix installer step summary

The installer action's Mermaid build-timeline summary was crowding out
the per-target resource-usage summaries on the workflow run page. Job
summaries are ordered by completion time and we can't put ours first,
so disable the installer's contribution instead. Build-failure details
are still in the job log.
---
 .github/workflows/test.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 3698fc1..72d0102 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -15,6 +15,8 @@ jobs:
     steps:
       - uses: actions/checkout@v6
       - uses: DeterminateSystems/nix-installer-action@v22
+        with:
+          summarize: false
       - uses: DeterminateSystems/magic-nix-cache-action@v13
       - run: nix flake check
       - run: nix build .#scip-go
@@ -34,6 +36,8 @@ jobs:
     steps:
       - uses: actions/checkout@v6
       - uses: DeterminateSystems/nix-installer-action@v22
+        with:
+          summarize: false
       - uses: DeterminateSystems/magic-nix-cache-action@v13
       - run: nix build .#docker