From df2ea4d0650db06227595484232e1c3da570cec5 Mon Sep 17 00:00:00 2001
From: Daniel Juenger <2955913+sleeepyjack@users.noreply.github.com>
Date: Fri, 10 Nov 2023 22:41:11 +0000
Subject: [PATCH] Log git commit info during CI build

---
 ci/build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/build.sh b/ci/build.sh
index 0baeaa68c..eb31d9382 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -104,6 +104,8 @@ echo "CXX_STANDARD=$CXX_STANDARD"
 echo "GPU_ARCHS=$GPU_ARCHS"
 echo "PARALLEL_LEVEL=$PARALLEL_LEVEL"
 echo "BUILD_DIR=$BUILD_DIR"
+echo "Current commit is:"
+git log -1 || echo "Not a repository"
 echo "========================================"
 
 function configure(){