From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 31 Mar 2022 17:31:16 +0000 (-0700)
Subject: ci: Fix typo in update-pr job. (#8492)
X-Git-Tag: cvc5-1.0.0~91
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d9c7c7557b38a5999284a14857d26be19352f57;p=cvc5.git

ci: Fix typo in update-pr job. (#8492)
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0e69b32f8..4bdd2688f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -137,7 +137,7 @@ jobs:
 
   update-pr:
     runs-on: ubuntu-latest
-    if: github.repository == 'cvc5/cvc5' && github.event_name == 'push' && github.ref == 'refs/head/main'
+    if: github.repository == 'cvc5/cvc5' && github.event_name == 'push' && github.ref == 'refs/heads/main'
     concurrency:
       group: update-pr
     steps: