diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
index 08f62f29c..59aba0cc3 100644
--- a/.github/workflows/buildtest.yml
+++ b/.github/workflows/buildtest.yml
@@ -14,7 +14,7 @@ env:
   CARL_BRANCH: "master14"
   CARL_GIT_URL: "https://github.com/smtrat/carl.git"
   STORM_GIT_URL: "${{ github.server_url }}/${{ github.repository }}.git"
-  STORM_BRANCH: "${{ github.head_ref || github.sha }}"
+  STORM_BRANCH: "${{ github.ref }}"
   # github runners currently have two cores
   NR_JOBS: "2"