Documentation.yml (1457B)
1 2 name: Documentation 3 4 on: 5 push: 6 branches: 7 - main 8 tags: ['*'] 9 pull_request: 10 11 jobs: 12 build: 13 permissions: 14 actions: write 15 contents: write 16 pull-requests: read 17 statuses: write 18 runs-on: ubuntu-latest 19 steps: 20 - uses: actions/checkout@v6 21 - uses: julia-actions/setup-julia@v2 22 with: 23 version: '1' 24 - name: Install dependencies 25 run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' 26 - name: Build and deploy 27 env: 28 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token 29 run: julia --project=docs/ docs/make.jl 30 31 32 33 34 35 36 37 38 39 40 41 42 43 # jobs: 44 # doc-preview-cleanup: 45 # runs-on: ubuntu-latest 46 # steps: 47 # - name: Checkout gh-pages branch 48 # uses: actions/checkout@v2 49 # with: 50 # ref: gh-pages 51 # - name: Delete preview and history + push changes 52 # run: | 53 # if [ -d "previews/PR$PRNUM" ]; then 54 # git config user.name "EL" 55 # git config user.email "[email protected]" 56 # git rm -rf "previews/PR$PRNUM" 57 # git commit -m "delete preview" 58 # git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree}) 59 # git push --force origin gh-pages-new:gh-pages 60 # fi 61 # env: 62 # PRNUM: ${{ github.event.number }}