Develop documentation did not get deployed #1664

Activity

1. jfdev001 commented on Nov 2, 2026

   

   jfdev001

   on Nov 2, 2026

   ContributorAuthor

   More actions

   Looks like the the merge.yml pipeline is the culprit:

   basilisk/.github/workflows/merge.yml

   Lines 59 to 76 in 08c9438

   	- name: Build docs
   	uses: ./.github/actions/docs
   	- name: Deploy non-develop branch merges to /
   	if: success() && github.ref_name != 'develop'
   	uses: peaceiris/actions-gh-pages@v3
   	with:
   	github_token: ${{ secrets.GITHUB_TOKEN }}
   	publish_dir: ./docs/build/html
   	destination_dir: .
   	force_orphan: true
   	- name: Deploy develop branch merges to /develop
   	if: success() && github.ref_name == 'develop'
   	uses: peaceiris/actions-gh-pages@v3
   	with:
   	github_token: ${{ secrets.GITHUB_TOKEN }}
   	publish_dir: ./docs/build/html
   	destination_dir: develop
   	keep_files: true

   Because the deploy non dev docs does not have keep files, it overwrites the /develop documentation. I'll open a PR to fix this
2. jfdev001

   added a commit that references this issue on Nov 2, 2026

   [AVSLab#1664] document the preservation of dev docs fix

   74a4152
3. schaubh

   self-assigned this

   on Nov 2, 2026
4. schaubh commented on Nov 2, 2026

   

   schaubh

   on Nov 2, 2026

   Contributor

   More actions

   See my comment on PR #1665. I just had release patch release BSK v2.12.2. This intentionally cleans up the documentation output folder before build a fresh copy. I then have to trigger rebuilding the develop documentation manually. Thus, there can be a few hours where pre-built develop is not available online.
5. schaubh

   closed this as completedon Nov 2, 2026