Fix documentation.yml GitHub action

jump-dev · Sep 24, 2023 · e2e7259 · e2e7259
1 parent 25f8d4d
commit e2e7259
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -16,7 +16,13 @@ jobs:
         with:
           version: '1'
       - name: Install dependencies
-        run: julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.develop("MathOptInterface"); Pkg.instantiate()'
+        shell: julia --color=yes --project=docs/ {0}
+        run: |
+          using Pkg
+          Pkg.develop(PackageSpec(path=pwd()))
+          Pkg.instantiate()
+          import MathOptInterface
+          Pkg.develop(path=pkgdir(MathOptInterface))
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token