Merge pull request #338 from jku/add-name-to-ed25519-gh-action

CI: Add a name to ed25519 check workflow
secure-systems-lab · Feb 22, 2021 · b5023f3 · b5023f3
2 parents a7d3668 + 3f026b8
commit b5023f3
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