diff --git a/tools/workspace_status.sh b/tools/workspace_status.sh
index 34ab53fcb14..358741f03dd 100755
--- a/tools/workspace_status.sh
+++ b/tools/workspace_status.sh
@@ -5,3 +5,6 @@
 GIT_VERSION=$(git describe --tags --match '[0-9][0-9]Q[0-9]' --always 2>/dev/null \
   || echo "unknown")
 echo "STABLE_GIT_VERSION ${GIT_VERSION}"
+
+STA_GIT_SHA1=$(git -C src/sta rev-parse HEAD 2>/dev/null || echo "unknown")
+echo "STABLE_STA_GIT_SHA1 ${STA_GIT_SHA1}"