Tweak job name in Update Docs workflow

Change-Id: Ifdf4343613921aa4e34a91a76fa241ab85862760
2021-06-16 12:18:01 -07:00 · 2021-06-16 12:18:01 -07:00 · 0fdd046a14
parent 0f8749a211
commit 0fdd046a14
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/update_docs.yaml
+++ b/.github/workflows/update_docs.yaml
@ -20,7 +20,7 @@ on:

 jobs:
  publish_docs:
-    name: Publish updated docs
+    name: Build updated docs
    runs-on: ubuntu-latest
    steps:
      - name: Compute ref