From 1c05076b687f9040579dde052f91633f18fd2f39 Mon Sep 17 00:00:00 2001
From: Adrian Sampson <adrian@radbox.org>
Date: Mon, 28 Aug 2023 20:10:21 -0400
Subject: [PATCH] Remove unnecessary job prefix

---
 .github/workflows/docs.yaml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 64efe02a7..2d23a4faa 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -9,7 +9,7 @@ on:
      - 'docs/**'
 
 jobs:
-  docs_build:
+  build:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
@@ -24,8 +24,8 @@ jobs:
         with:
           name: book
           path: book
-  docs_deploy:
-    needs: docs_build
+  deploy:
+    needs: build
     runs-on: ubuntu-latest
     if: ${{github.event_name=='push' && github.ref=='refs/heads/main'}}
     steps: