Log last BoringSSL commit in test-fiat-c-boringssl.sh

mit-plv · Aug 29, 2023 · d1ce5d8 · d1ce5d8
1 parent 3ca5339
commit d1ce5d8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/etc/ci/test-fiat-c-boringssl.sh b/etc/ci/test-fiat-c-boringssl.sh
@@ -9,6 +9,7 @@ echo "::group::Cloning BoringSSL"
     set -ex
     rm -rf boringssl
     git clone https://boringssl.googlesource.com/boringssl || exit $?
+    git -C boringssl log -1
 }) || exit $?
 echo "::endgroup::"