diff --git a/etc/ci/test-fiat-c-boringssl.sh b/etc/ci/test-fiat-c-boringssl.sh index 15dedfcfe6..bb4d8bd28a 100755 --- 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::"