fuck

angr · Jan 13, 2025 · d79a74a · d79a74a
1 parent 5af7cec
commit d79a74a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci-image/scripts/ga-typecheck.sh b/ci-image/scripts/ga-typecheck.sh
@@ -10,7 +10,7 @@ source virtualenv/bin/activate
 pip install pyright
 
 cd src/${GITHUB_REPOSITORY##*/}
-HEAD_REV="$(git rev-parse --abbrev-ref HEAD)"
+HEAD_REV="$(git rev-parse HEAD)"
 if [[ $GITHUB_REF == "master" ]]; then
     BASE_REV="$(git rev-parse --abbrev-ref HEAD~)"
 else