(master) add adidoks as submodule

MrPicklePinosaur · Mar 23, 2023 · cc6cd1d · cc6cd1d
1 parent b4f4dda
commit cc6cd1d
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -4,6 +4,15 @@ on:
       - master
   workflow_dispatch: {}
 
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
+
 name: Build and deploy GH Pages
 jobs:
   build:
@@ -16,6 +25,6 @@ jobs:
         uses: shalzz/[email protected]
         env:
           PAGES_BRANCH: gh-pages
-          TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           BUILD_DIR: docs
-          BUILD_THEMES: false
+          BUILD_THEMES: true
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "docs/themes/adidoks"]
+	path = docs/themes/adidoks
+	url = https://github.com/aaranxu/adidoks.git