From 4d9c7c7557b38a5999284a14857d26be19352f57 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Thu, 31 Mar 2022 10:31:16 -0700 Subject: [PATCH] ci: Fix typo in update-pr job. (#8492) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: -- 2.30.2