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

Add a workflow to build and deploy docs site #8126

Merged
merged 5 commits into from May 22, 2020
Merged

Add a workflow to build and deploy docs site #8126

merged 5 commits into from May 22, 2020

Commits on Apr 16, 2020

  1. Add a workflow to build and deploy docs site

    @ashmaroli
    ashmaroli committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    9eef657 View commit details
    Browse the repository at this point in the history

  2. Bootstrap action environment with a shell script

    @ashmaroli
    ashmaroli committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    88c3e83 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2020

  1. Merge branch 'master' into in-house-build-action

    @ashmaroli
    ashmaroli committed May 22, 2020
    Configuration menu
    Copy the full SHA
    8644d58 View commit details
    Browse the repository at this point in the history

  2. Use GITHUB_TOKEN as access-token

    @ashmaroli
    ashmaroli committed May 22, 2020
    Configuration menu
    Copy the full SHA
    aed0149 View commit details
    Browse the repository at this point in the history

  3. Attempt using token directly [skip ci]

    @ashmaroli
    ashmaroli committed May 22, 2020
    Configuration menu
    Copy the full SHA
    d0c8210 View commit details
    Browse the repository at this point in the history