add a name to release-docker.yaml workflow.

2020-09-07 08:15:00 -07:00
parent 451bf73334
commit abfb0a2612
1 changed files with 2 additions and 0 deletions
@@ -1,5 +1,7 @@
 #TODO: once scrutiny is public, this file can be deleted.
 # builds a docker image and attaches it to the latest release.
+name: Release Docker
+
 on:
  release:
    types: [published]