From f4c63400f0d87c6c24e11995501f119a6029b683 Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Fri, 25 Nov 2022 20:37:15 +0100
Subject: [PATCH] ci: give name to manually run workflows

---
 .github/workflows/ci.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 882e9824be9516b8f7ad3a2b67a96ae27ef0121e..e1eb7d5b2a5bb266ebe2d4d1fcf7798d0c04b9a0 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,4 +1,5 @@
 name: ci
+run-name: ${{ inputs.commit }}
 on:
   workflow_dispatch:
     # Allows launching a CI run on an arbitrary commit
-- 
2.54.0