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

Fix for latest nightly: need to add a patch section #228

Merged
merged 11 commits into from
Dec 15, 2018

Commits on Dec 13, 2018

  1. Configuration menu
    Copy the full SHA
    21af9c3 View commit details
    Browse the repository at this point in the history
  2. fix tests

    RalfJung committed Dec 13, 2018
    Configuration menu
    Copy the full SHA
    bf94258 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b004f1c View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2018

  1. Configuration menu
    Copy the full SHA
    48236dd View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2018

  1. Configuration menu
    Copy the full SHA
    9461fcd View commit details
    Browse the repository at this point in the history
  2. try to fix CI

    RalfJung committed Dec 15, 2018
    Configuration menu
    Copy the full SHA
    1463b3d View commit details
    Browse the repository at this point in the history
  3. run the test jobs first

    RalfJung committed Dec 15, 2018
    Configuration menu
    Copy the full SHA
    05dca24 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    63d6629 View commit details
    Browse the repository at this point in the history
  5. run tests on all nightlies

    RalfJung committed Dec 15, 2018
    Configuration menu
    Copy the full SHA
    b339557 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    d12aedd View commit details
    Browse the repository at this point in the history
  7. typo in nightly detection

    RalfJung committed Dec 15, 2018
    Configuration menu
    Copy the full SHA
    00f4dec View commit details
    Browse the repository at this point in the history