This document contains information about the infrastructure aspect of the documentation website, as opposed to the content aspect.
This section is about running an instance of the website locally.
Assuming you have Docker installed, you can spin up the development environment by running:
docker compose up --detachThat will start up several Docker containers, which you can access via the URLs below:
- http://localhost:9000 - the entire website
- http://localhost:9001 - only the Home section of the website
- http://localhost:9002 - only the Runtime section of the website
- http://localhost:9003 - only the Workflows section of the website
Whenever you update files in the content/home/src directory,
the Home section of the website will be automatically rebuilt.
Refresh your web browser to see that newly-rebuilt section of the website.
Nothing will automatically happen in the development environment when someone
updates files in the upstream Runtime repository. To adopt those changes
in the development environment, rebuild the runtime-docs container
by issuing the following sequence of commands:
docker compose down runtime-docs
docker compose build --no-cache runtime-docs
docker compose up --detach runtime-docsIf you only make changes to the documentation source files that reside in this repository
(i.e. those in pullers/runtime_docs), then you can issue this sequence of commands instead,
which will allow Docker to avoid refetching the source files from the upstream repo:
docker compose down runtime-docs
docker compose build runtime-docs
docker compose up --detach runtime-docsNothing will automatically happen in the development environment when someone
updates files in the upstream workflow repositories. To adopt those changes
in the development environment, rebuild the workflow-docs container
by issuing the following sequence of commands:
docker compose down workflow-docs
docker compose build --no-cache workflow-docs
docker compose up --detach workflow-docsIf you only make changes to the documentation source files that reside in this repository
(i.e. those in pullers/workflow_docs), then you can issue this sequence of commands instead,
which will allow Docker to avoid refetching the source files from the upstream repos:
docker compose down workflow-docs
docker compose build workflow-docs
docker compose up --detach workflow-docsThe .github/workflows directory contains YAML files that we use to configure GitHub Actions.
We use GitHub Actions to (a) compile local and remote content into a single website,
and to (b) publish that single website to GitHub Pages.
Whenever a commit is added to the main branch of this repository, the website will be regenerated
and redeployed. That happens via the "Deploy to GitHub Pages" GitHub Actions workflow, which is
specified in: .github/workflows/deploy-to-gh-pages.yml
If you want to regenerate and redeploy the website without adding a commit to the main branch of
this repository, you can do so by following the steps below:
- Open the repository's Actions tab
- In the left sidebar, click the GHA workflow named Deploy to GitHub Pages
- In the upper right corner, click the Run workflow button
- In the Use workflow from menu that appears, ensure
mainis selected (that's the default) - Click the green Run workflow button, which will run the GHA workflow
- Click on the new GHA workflow run and wait for the Assemble website and Deploy website jobs to finish successfully (i.e. to have a green checkmark)
- Wait approximately 3 minutes, then visit the website and confirm it shows what you expect
We use Google Analytics to collect and analyze website traffic. You can search the repository for
our Google Analytics Property ID (i.e. "G-VH6HKVLCWN") in order to learn more.