From b899fa01ae17e6ca4a505bc75dce65faede76332 Mon Sep 17 00:00:00 2001
From: Brian Schlining <bschlining@gmail.com>
Date: Tue, 13 Aug 2024 13:28:33 -0700
Subject: [PATCH] fixing docs action

---
 .github/workflows/docs.yml | 33 +++++++++++++++++++++------------
 1 file changed, 21 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 11372fc..0a8e3ea 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -4,39 +4,48 @@ on:
   push:
     branches: ["main"]
 
-permissions:
-  contents: read
-  pages: write
-  id-token: write
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# Allow one concurrent deployment
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
 
 jobs:
-  build:
+  generate_docs:
     runs-on: ubuntu-latest
-
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
     steps:
       - uses: actions/checkout@v3
-      - name: Set up JDK 17
+      - name: Set up JDK 22
         uses: actions/setup-java@v3
         with:
-          java-version: "17"
+          java-version: "22"
           distribution: "temurin"
           cache: "sbt"
       - name: Build site
         run: sbt doc
         env:
-          GITHUB_TOKEN: ${{ github.token }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - name: Upload site
         uses: actions/upload-pages-artifact@v1.0.1
         with:
           path: ./target/scala-3.3.3/api
 
-  deploy:
+  publish_docs:
+    needs: generate_docs
+    permissions:
+      pages: write
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
-    needs: build
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4