Add name to docker workflow

cedws · Sep 14, 2023 · a5c5ea9 · a5c5ea9
1 parent eb49731
commit a5c5ea9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -1,3 +1,5 @@
+name: Docker
+
 on:
   push:
     branches: