Commit `a6e7c43136`

Loris Cro <kappaloris@gmail.com>

2022-11-25 20:37:15

ci: give name to manually run workflows

1 parent a10417a

Changed files (1)

.github

workflows

@@ -1,4 +1,5 @@
 name: ci
+run-name: ${{ inputs.commit }}
 on:
   workflow_dispatch:
     # Allows launching a CI run on an arbitrary commit

Commit a6e7c43136