Deploy documentation to a different site

[korenmiklos]

It will live under docs.koren.dev/Kezdi.jl. Write a github action to build documention and push it to that site. (ChatGTP helps.)

[korenmiklos]

This is how I prompted Claude:

I have a Julia repo which builds its own documentation on github pages with Documenter.jl. See the attached actions. """name: CI on: push: branches: - main tags: ['*'] pull_request: workflow_dispatch: concurrency: # Skip intermediate builds: always. # Cancel intermediate builds: only if it is a pull request build. group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} jobs: test: name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }} runs-on: ${{ matrix.os }} timeout-minutes: 60 permissions: # needed to allow julia-actions/cache to proactively delete old caches that it has created actions: write contents: read strategy: fail-fast: false matrix: version: - '1.11' os: - ubuntu-latest - windows-latest - macOS-latest arch: - x64 steps: - uses: actions/checkout@v4 - uses: julia-actions/setup-julia@v2 with: version: ${{ matrix.version }} arch: ${{ matrix.arch }} - uses: julia-actions/cache@v2 - uses: julia-actions/julia-buildpkg@v1 - uses: julia-actions/julia-runtest@v1 - uses: julia-actions/julia-processcoverage@v1 - name: Upload coverage reports to Codecov uses: codecov/codecov-action@v4.5.0 with: token: ${{ secrets.CODECOV_TOKEN }} docs: name: Documentation runs-on: ubuntu-latest permissions: actions: write # needed to allow julia-actions/cache to proactively delete old caches that it has created contents: write statuses: write steps: - uses: actions/checkout@v4 - uses: julia-actions/setup-julia@v2 with: version: '1.11' - uses: julia-actions/cache@v2 - name: Configure doc environment shell: julia --project=docs --color=yes {0} run: | using Pkg Pkg.develop(PackageSpec(path=pwd())) Pkg.instantiate() - uses: julia-actions/julia-buildpkg@v1 - uses: julia-actions/julia-docdeploy@v1 env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} - name: Run doctests shell: julia --project=docs --color=yes {0} run: | using Documenter: DocMeta, doctest using Kezdi DocMeta.setdocmeta!(Kezdi, :DocTestSetup, :(using Kezdi); recursive=true) doctest(Kezdi)""" Write another action that gets called once the documentation has been built and pings an action at the github repo: https://github.com/codedthinking/docs.koren.dev to copy over the relevant html files. The site itself is going to be hosted at docs.koren.dev, under a separate folder Kezdi.jl. Also write the GH action on this site that pulls the files and builds the site.

[korenmiklos]

https://documenter.juliadocs.org/stable/man/hosting/