From 7aaa886340695f74876c55123d23e94d480c5387 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 11 Jun 2024 13:25:56 +0000
Subject: [PATCH] Fix typos in release workflow

See also https://github.com/diffblue/hw-cbmc/pull/537.
---
 .github/workflows/regular-release.yaml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml
index b9ef25e915f..92fdff936d3 100644
--- a/.github/workflows/regular-release.yaml
+++ b/.github/workflows/regular-release.yaml
@@ -13,15 +13,15 @@ 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