projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 68e6be3)
ci: Fix typo in update-pr job. (#8492)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 31 Mar 2022 17:31:16 +0000 (10:31 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 17:31:16 +0000 (10:31 -0700)
.github/workflows/ci.yml patch | blob | history

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0e69b32f8c4b37af556360edca3667b490b77037..4bdd2688fcc7f1f997c87e4d1719f2c798d3effb 100644 (file)
--- 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: