From 18b7d8d2f12989eb7a426d8740f8a126671bf3c0 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 10 Jun 2024 18:02:12 -0700
Subject: [PATCH] fix typo in release workflow

This fixes a typo ('seperator' -> 'separator') copied from the CBMC repo.
---
 .github/workflows/ebmc-release.yaml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ebmc-release.yaml b/.github/workflows/ebmc-release.yaml
index 822d0e893..b4c98db8d 100644
--- a/.github/workflows/ebmc-release.yaml
+++ b/.github/workflows/ebmc-release.yaml
@@ -13,22 +13,20 @@ jobs:
       version: ${{ steps.split-version.outputs._1 }}
     steps:
       - uses: jungwinter/split@v2
-        id: split
+        id: split-ref
         with:
           msg: ${{ github.ref }}
-          seperator: '/'
+          separator: '/'
       - uses: jungwinter/split@v2
         id: split-version
         with:
-          msg: ${{ steps.split.outputs._2 }}
-          seperator: '-'
+          msg: ${{ steps.split-ref.outputs._2 }}
+          separator: '-'
   perform-release:
     name: Perform Release
     runs-on: ubuntu-20.04
     needs: get-version-information
     steps:
-      - name: Checkout code
-        uses: actions/checkout@v4
       - name: Create release
         uses: actions/create-release@v1
         env: