Update .github/workflows/cbmc-update.yml

Co-authored-by: Adrian Palacios <[email protected]>
tautschnig · Nov 28, 2023 · 2e1fc70 · 2e1fc70
1 parent 4161fe7
commit 2e1fc70
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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