From 36d17068ac1121c34cf39a2c4068cd8b6f9048d7 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sat, 9 Nov 2024 22:10:35 +0100
Subject: [PATCH] rename workflow

---
 .github/workflows/create-release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/create-release.yml b/.github/workflows/create-release.yml
index 52adf2f8..412dd38c 100644
--- a/.github/workflows/create-release.yml
+++ b/.github/workflows/create-release.yml
@@ -8,7 +8,7 @@ on:
       - 'lean-toolchain'
 
 jobs:
-  create-release:
+  create_release:
     runs-on: ubuntu-latest
 
     steps: