workflow

JuliaGraphs · Jul 25, 2024 · 0afda36 · 0afda36
1 parent 5accc3e
commit 0afda36
Showing 1 changed file with 6 additions and 10 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -15,16 +15,12 @@ jobs:
       - uses: julia-actions/setup-julia@latest
         with:
           version: '1.10.4'
-      - name: Install dependencies
-        shell: julia --project=docs/ {0}
-        run: |
-          using Pkg
-          # dev mono repo versions
-          pkg"registry up"
-          Pkg.update()
-          pkg"dev ./GNNGraphs ."
-      - name: Build and deploy
+      - name: Install dependencies, build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
-        run: julia --project=docs/ docs/make.jl
+        shell: julia --project=docs/ {0}
+        run: |
+          using Pkg
+          pkg"dev ./ ./GNNGraphs"
+          include("docs/make.jl")