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

--no-check docs #6714

Merged
merged 7 commits into from
Jul 13, 2020
Merged

--no-check docs #6714

merged 7 commits into from
Jul 13, 2020

Commits on Jul 12, 2020

  1. --no-check docs

    lucacasonato committed Jul 12, 2020
    Configuration menu
    Copy the full SHA
    f65c8d9 View commit details
    Browse the repository at this point in the history
  2. Change wording

    lucacasonato committed Jul 12, 2020
    Configuration menu
    Copy the full SHA
    bacea79 View commit details
    Browse the repository at this point in the history
  3. Reset CI

    lucacasonato committed Jul 12, 2020
    Configuration menu
    Copy the full SHA
    f784e8c View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    fbcf106 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    6b1c9da View commit details
    Browse the repository at this point in the history
  6. Added more info

    lucacasonato committed Jul 12, 2020
    Configuration menu
    Copy the full SHA
    87c15a6 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2020

  1. Reset CI

    lucacasonato committed Jul 13, 2020
    Configuration menu
    Copy the full SHA
    161fb3e View commit details
    Browse the repository at this point in the history