Skip to content

doc: document the filesystem-image step; ci: serialize gh-pages deploys#262

Merged
daniel-rossier merged 2 commits into
mainfrom
docs/filesystem-step
Jul 1, 2026
Merged

doc: document the filesystem-image step; ci: serialize gh-pages deploys#262
daniel-rossier merged 2 commits into
mainfrom
docs/filesystem-step

Conversation

@daniel-rossier

Copy link
Copy Markdown
Contributor

Follow-ups to the ci-deploy work (#261).

docsbuild.sh bsp-so3 only compiles; the empty SD-card image is created by the separate, privileged filesystem recipe (losetup/mkfs/parted), and deploy.sh populates but does not create it. A deploy against a fresh tree fails until the image exists. Documents the canonical first-build sequence in the build-system reference and the user guide (including the AVZ-guest path):

build.sh bsp-so3        # compile
build.sh -x filesystem  # create + format the SD-card image (privileged, once)
deploy.sh bsp-so3       # populate + write boot media

and points docker/scripts/run.sh's missing-image error at the filesystem step.

ci — add a concurrency group (keyed on the ref, cancel-in-progress) to the Docs workflow so a burst of pushes doesn't race multiple gh-pages deployments ("in progress deployment" failures).

A burst of pushes (e.g. several PRs merged to main within seconds) could
race multiple gh-pages deployments, failing with "in progress deployment".
Add a concurrency group keyed on the ref with cancel-in-progress so only the
latest run deploys.
build.sh bsp-so3 only compiles; the empty SD-card image is produced by the
privileged 'filesystem' recipe (losetup/mkfs/parted), and deploy.sh populates
but does not create it. Document the canonical first-build sequence
(build.sh bsp-so3 -> build.sh -x filesystem -> deploy.sh bsp-so3) in the build
system + user guide (incl. the AVZ-guest path), and point run.sh's missing-image
error at the filesystem step.
@daniel-rossier daniel-rossier merged commit ad3fb61 into main Jul 1, 2026
6 checks passed
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.

1 participant