Public documentation release


Oct 24, 2022

ACCEPTED

Mattia Franchetto

Context

The public documentation is updated every time a new pull request is made. This is not always the desired behavior, especially when an amend is made to the documentation for unreleased ParallelCluster or ParallelCluster Manager features.

Decision

Change the documentation workflow's trigger to run only on releases.

Consequences

The documentation is updated only when ParallelCluster Mananager is released to customers. The downside is quick fixes to the documentation require more time to be released.