Skip to content

[pull] main from isaac-sim:main#18

Merged
pull[bot] merged 1 commit into
mataylor-nvidia:mainfrom
isaac-sim:main
Jul 20, 2026
Merged

[pull] main from isaac-sim:main#18
pull[bot] merged 1 commit into
mataylor-nvidia:mainfrom
isaac-sim:main

Conversation

@pull

@pull pull Bot commented Jul 20, 2026 •
edited
Loading

Copy link
Copy Markdown

See Commits and Changes for more details.

Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

@kellyguo11
Migrate docs deployment to Pages artifacts on main (#6612)
858234d 
# Description

Backport #6571 from `develop` to `main` so the production documentation
workflow can deploy through GitHub Pages artifacts.

The current nightly workflow commits the complete generated
multi-version
site to `gh-pages`. That branch contributes approximately 656 MiB of
compressed Git data and accounts for most of the repository clone
payload.
This change uploads the generated site with
`actions/upload-pages-artifact`
and publishes it with `actions/deploy-pages` instead.

Documentation content, URLs, and multi-version behavior are unchanged.
After
this merges, a repository administrator must set the Pages source to
GitHub
Actions, run the Docs workflow once from `main`, verify the deployment,
and
then delete `gh-pages` after the rollback window.

## Type of change

- Bug fix (non-breaking CI/infrastructure change)

## Validation

- Confirmed the applied patch ID exactly matches merged PR #6571.
- Ran `./isaaclab.sh -f` before committing; all hooks passed.
- Ran `./isaaclab.sh -f` again after committing and before pushing; all
hooks
  passed.
- Validated the production-like workflow in
https://github.com/kellyguo11/IsaacLab-public/actions/runs/29675383308.
- Verified the deployed root redirect, version selector, representative
  branches/tags, and static assets.

## Checklist

- [x] I have read and understood the contribution guidelines.
- [x] I have run the pre-commit checks with `./isaaclab.sh -f`.
- [x] Documentation changes are not required; published content is
unchanged.
- [x] My changes generate no new warnings.
- [x] A code test is not applicable; the deployment workflow was
validated
  end-to-end in the fork.
- [x] A package changelog fragment is not required because no package
changed.
- [x] The contributors from #6571 are already represented in the
project.
@pull pull Bot locked and limited conversation to collaborators Jul 20, 2026
@pull pull Bot added the ⤵️ pull label Jul 20, 2026
@pull
pull Bot merged commit 858234d into mataylor-nvidia:main Jul 20, 2026
3 of 6 checks passed
@pull
pull Bot had a problem deploying to postmerge-production July 20, 2026 05:03 Error
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

⤵️ pull infrastructure

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@mataylor-nvidia @kellyguo11