docs deployment : separate file

SciML · Sep 28, 2024 · 78bd34a · 78bd34a
1 parent 91face3
commit 78bd34a
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 20 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -12,8 +12,6 @@ on:
   push:
     branches:
       - main
-    paths:
-      - "docs/**"
 
 concurrency:
   # Skip intermediate builds: always.
@@ -113,24 +111,6 @@ jobs:
         if: steps.invs_pr.outputs.total > steps.invs_default.outputs.total
         run: exit 1
 
-  docs:
-    if: github.ref == 'refs/heads/main'
-    name: Documentation
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/julia-buildpkg@v1
-
-      - name: Build and deploy docs
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: |
-          julia --project=docs -e '
-          println("--- :julia: Instantiating project")
-          using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()
-          println("+++ :julia: Building documentation")
-          include("docs/make.jl")'
-   
 env:
   BACKEND_GROUP: "CPU"
   RETESTITEMS_NWORKERS: 4

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -0,0 +1,26 @@
+name: documentation
+on:
+  push:
+    branches:
+      - main
+    paths:
+      - "docs/**"
+
+jobs:
+  docs:
+    if: github.ref == 'refs/heads/main'
+    name: Documentation
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/julia-buildpkg@v1
+
+      - name: Build and deploy docs
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          julia --project=docs -e '
+          println("--- :julia: Instantiating project")
+          using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()
+          println("+++ :julia: Building documentation")
+          include("docs/make.jl")'