Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI and documentation generation adjustment #383

Merged
merged 6 commits into from
Mar 23, 2023
Merged

CI and documentation generation adjustment #383

merged 6 commits into from
Mar 23, 2023

Commits on Mar 22, 2023

  1. Use ARNs directly instead of via secrets

    @TwistedTwigleg
    TwistedTwigleg committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    7251257 View commit details
    Browse the repository at this point in the history

  2. Only push documentation to docs branch on release

    @TwistedTwigleg
    TwistedTwigleg committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    e3f9dec View commit details
    Browse the repository at this point in the history

  3. YAML formatting is fun

    @TwistedTwigleg
    TwistedTwigleg committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    399e063 View commit details
    Browse the repository at this point in the history

  4. Consistency with other SDK PRs

    @TwistedTwigleg
    TwistedTwigleg committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    96d0654 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. Do not pull submodules if they are not needed

    @TwistedTwigleg
    TwistedTwigleg committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    8adf9ed View commit details
    Browse the repository at this point in the history

  2. Fix release script

    @TwistedTwigleg
    TwistedTwigleg committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    0259301 View commit details
    Browse the repository at this point in the history