1name: Julia Documentation 2 3on: 4 push: 5 branches: 6 - main 7 tags: '*' 8 pull_request: 9 10jobs: 11 build: 12 runs-on: ubuntu-22.04 13 steps: 14 - uses: actions/checkout@v4 15 - uses: julia-actions/setup-julia@latest 16 - name: Install dependencies 17 run: | 18 cd julia/LibCEED.jl 19 julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate(); Pkg.build()' 20 - name: Build and deploy 21 env: 22 DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key 23 run: | 24 cd julia/LibCEED.jl 25 julia --project=docs/ docs/make.jl 26