From 2e1fc7099ff1926bdc53565c1fd767b28358e35f Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Tue, 28 Nov 2023 22:48:14 +0100
Subject: [PATCH] Update .github/workflows/cbmc-update.yml

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
---
 .github/workflows/cbmc-update.yml | 1 +
 1 file changed, 1 insertion(+)

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