Skip to content

ci: parallelize dev.materialize.com docs build and upload#36807

Merged
def- merged 1 commit into
MaterializeInc:mainfrom
def-:dennis/devsite-parallel-doc-deploy
May 30, 2026
Merged

ci: parallelize dev.materialize.com docs build and upload#36807
def- merged 1 commit into
MaterializeInc:mainfrom
def-:dennis/devsite-parallel-doc-deploy

Conversation

@def-
Copy link
Copy Markdown
Contributor

@def- def- commented May 30, 2026

The deploy-devsite step ran for ~40 minutes, ~33 of which were two
sequential `aws s3 sync` uploads of the Rust docs (~13k tiny HTML files,
~203 MiB each) at the aws CLI's default concurrency of 10, making them
request-latency bound rather than bandwidth bound.

This also fixes a latent bug: both `bin/doc` invocations wrote to the
same target dir, so the `--document-private-items` build clobbered the
public build before either was uploaded, and both `api/rust` and
`api/rust-private` ended up serving the private docs.

Changes:
- Build the public (`api/rust`) and private (`api/rust-private`) docsets
  into separate target dirs and run each build+upload pipeline in
  parallel.
- Bump `s3.max_concurrent_requests` to 100 so the many small files
  upload concurrently.
- Add `--delete` to the Rust syncs so each prefix is a clean mirror and
  the private pages previously mis-uploaded to `api/rust` are purged.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@def- def- requested a review from a team as a code owner May 30, 2026 02:39
@def- def- requested a review from bosconi May 30, 2026 02:41
@def- def- enabled auto-merge (squash) May 30, 2026 06:52
Copy link
Copy Markdown
Member

@antiguru antiguru left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thank you.

@def- def- merged commit bcae6e7 into MaterializeInc:main May 30, 2026
123 of 124 checks passed
@def- def- deleted the dennis/devsite-parallel-doc-deploy branch May 30, 2026 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants