diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index c0bb0da..b234cb7 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -17,10 +17,10 @@ jobs: with: version: '1.12' - uses: julia-actions/cache@v3 - - name: Setup OpenMPI - run: julia --project=docs -e 'using MPIPreferences; MPIPreferences.use_jll_binary("OpenMPI_jll")' - name: Install dependencies run: julia --project=docs -e 'using Pkg; Pkg.instantiate(); Pkg.precompile()' + - name: Setup OpenMPI + run: julia --project=docs -e 'using Pkg, MPIPreferences; MPIPreferences.use_jll_binary("OpenMPI_jll"); Pkg.precompile()' - name: Build and deploy env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}