diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml
index 422d42fedbb8..64b8e5ef677f 100644
--- a/.github/workflows/cbmc-update.yml
+++ b/.github/workflows/cbmc-update.yml
@@ -60,6 +60,7 @@ jobs:
           else
             echo "next_step=none" >> $GITHUB_ENV
           fi
+
       - name: Create Pull Request
         if: ${{ env.next_step == 'create_pr' }}
         uses: peter-evans/create-pull-request@v5