From a6e7c431368d8d0519beeae118c0c58a903cf169 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 882e9824be..e1eb7d5b2a 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