CI: Add a name to ed25519 check workflow

Now that there are multiple workflows, a name is useful in the UI.
secure-systems-lab · Feb 22, 2021 · 3f026b8 · 3f026b8
1 parent a7d3668
commit 3f026b8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/check-upstream-ed25519.yml b/.github/workflows/check-upstream-ed25519.yml
@@ -1,9 +1,10 @@
+name: Look for changes in ed25519 upstream
+
 on:
   schedule:
     - cron: '0 13 * * *'
   workflow_dispatch:
 
-
 jobs:
   check-ed25519-upstream:
     name: Open an issue if upstream ed25519 has new commits