Readd docs workflow

Zerthox · Dec 13, 2023 · a0e4f28 · a0e4f28
1 parent f3242a8
commit a0e4f28
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 13 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -0,0 +1,19 @@
+name: Docs
+
+on:
+  workflow_dispatch:
+  release:
+    types: [released]
+
+jobs:
+  docs:
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo doc --workspace --all-features
+      - uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./target/doc
+          publish_branch: gh-pages
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -6,20 +6,7 @@ on:
     types: [released]
 
 jobs:
-  docs:
-    name: Docs
-    runs-on: windows-latest
-    steps:
-      - uses: actions/checkout@v3
-      - uses: dtolnay/rust-toolchain@stable
-      - run: cargo doc --workspace --all-features
-      - uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./target/doc
-          publish_branch: gh-pages
   release:
-    name: Release
     runs-on: ${{ matrix.os }}
     strategy:
       matrix: