Skip to content

Latest commit

 

History

History
128 lines (95 loc) · 4.84 KB

File metadata and controls

128 lines (95 loc) · 4.84 KB

Development

Introduction

This document contains information about the infrastructure aspect of the documentation website, as opposed to the content aspect.

Table of contents

Local development

This section is about running an instance of the website locally.

Spin up the development environment

Assuming you have Docker installed, you can spin up the development environment by running:

docker compose up --detach

That will start up several Docker containers, which you can access via the URLs below:

Applying changes

Home section

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.

Runtime section

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-docs

If 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-docs

Workflow docs

Nothing 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-docs

If 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-docs

Deployment

The .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.

Automatic deployment

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

Manual deployment

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:

  1. Open the repository's Actions tab
  2. In the left sidebar, click the GHA workflow named Deploy to GitHub Pages
  3. In the upper right corner, click the Run workflow button
  4. In the Use workflow from menu that appears, ensure main is selected (that's the default)
  5. Click the green Run workflow button, which will run the GHA workflow
  6. 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)
  7. Wait approximately 3 minutes, then visit the website and confirm it shows what you expect

Google Analytics

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.