From 3c2c9618e009f9fc46a74117920d0f317d916924 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Wed, 12 Jun 2024 11:42:49 -0700
Subject: [PATCH] Fix YAML syntax in ebmc-packages workflow

---
 .github/workflows/ebmc-packages.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ebmc-packages.yaml b/.github/workflows/ebmc-packages.yaml
index 09e964d19..116055e8b 100644
--- a/.github/workflows/ebmc-packages.yaml
+++ b/.github/workflows/ebmc-packages.yaml
@@ -109,7 +109,7 @@ jobs:
       - name: Run the verilog tests
         run: make -C regression/verilog test
       - name: Create .rpm
-        run |
+        run: |
           VERSION=$(echo ${{ github.ref }} | cut -d "/" -f 3 | cut -d "-" -f 2)
           rpmdev-setuptree