Update .github/workflows/cbmc-update.yml

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
model-checking · 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