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.

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

New CircleCI job #2810

Merged
merged 3 commits into from
Nov 14, 2018
Merged

New CircleCI job #2810

merged 3 commits into from
Nov 14, 2018

Commits on Nov 14, 2018

  1. error checking the API call

    mircea-c committed Nov 14, 2018
    Configuration menu
    Copy the full SHA
    cd88efe View commit details
    Browse the repository at this point in the history
  2. added docs build trigger to circleci job

    mircea-c committed Nov 14, 2018
    Configuration menu
    Copy the full SHA
    d0f3631 View commit details
    Browse the repository at this point in the history
  3. add PENDING.md entry

    mircea-c committed Nov 14, 2018
    Configuration menu
    Copy the full SHA
    03c2444 View commit details
    Browse the repository at this point in the history