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

Move cryptol-remote-api to the Cryptol repo #92

Merged
merged 9 commits into from
Oct 12, 2020
Merged

Move cryptol-remote-api to the Cryptol repo #92

merged 9 commits into from
Oct 12, 2020

Commits on Oct 7, 2020

  1. Remove cryptol-remot-api 

    It's now in the `cryptol` repository
    Aaron Tomb committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    c50b228 View commit details
    Browse the repository at this point in the history

  2. Make tasty-script-exitcode work with GHC 8.10

    Aaron Tomb committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    8c44b1e View commit details
    Browse the repository at this point in the history

  3. Really fix build with GHC 8.10

    Aaron Tomb committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    ba29e13 View commit details
    Browse the repository at this point in the history

  4. Fall back on python if python3 not found 

    This fixes `tasty-script-exitcode` to work on systems where Python 3.x
is called `python`.
    Aaron Tomb committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    03be8a7 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2020

  1. Make sure pip is installed during tests

    Aaron Tomb committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    110a9fb View commit details
    Browse the repository at this point in the history

  2. Look for pip in the right place on Windows

    Aaron Tomb committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    000f3ba View commit details
    Browse the repository at this point in the history

  3. Another Windows path fix

    Aaron Tomb committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    efacd65 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2020

  1. Fix typo in error message

    Aaron Tomb committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    37fb82b View commit details
    Browse the repository at this point in the history

  2. Clarify reasons for Python executable name search

    Aaron Tomb committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    8bc079b View commit details
    Browse the repository at this point in the history