From b58addcf505feb699412135e8eebce827226b484 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <dbasgoeze.github@basgoeze.com>
Date: Tue, 13 Apr 2021 12:53:17 +0200
Subject: [PATCH] Github Actions: fix PR testing originating from different
 branches

---
 .github/workflows/buildtest.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"