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 more coverage #1069

Merged
merged 15 commits into from
Nov 17, 2022
Merged

Add more coverage #1069

merged 15 commits into from
Nov 17, 2022

Commits on Nov 12, 2022

  1. Add more coverage

    @blink1073
    blink1073 committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    ffd6bc8 View commit details
    Browse the repository at this point in the history

  2. get windows coverage

    @blink1073
    blink1073 committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    42906d2 View commit details
    Browse the repository at this point in the history

  3. formatting

    @blink1073
    blink1073 committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    356a9d3 View commit details
    Browse the repository at this point in the history

  4. more cleanup

    @blink1073
    blink1073 committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    5625abb View commit details
    Browse the repository at this point in the history

  5. try uuid

    @blink1073
    blink1073 committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    05d04c4 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2022

  1. clean up workflow

    @blink1073
    blink1073 committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    9c57c30 View commit details
    Browse the repository at this point in the history

  2. fix workflow

    @blink1073
    blink1073 committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    2cd1696 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into moar-coverage

    @blink1073
    blink1073 authored Nov 16, 2022
    Configuration menu
    Copy the full SHA
    79dcee6 View commit details
    Browse the repository at this point in the history

  4. cleanup

    @blink1073
    blink1073 committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    aff0d96 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'moar-coverage' of github.com:blink1073/jupyter_server i… 

    …nto moar-coverage
    @blink1073
    blink1073 committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    8616f03 View commit details
    Browse the repository at this point in the history

  6. reinstate script

    @blink1073
    blink1073 committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    727a856 View commit details
    Browse the repository at this point in the history

  7. fix script

    @blink1073
    blink1073 committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    a92941d View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2022

  1. restore missing coverage config

    @blink1073
    blink1073 committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    340502b View commit details
    Browse the repository at this point in the history

  2. undo traitlets change

    @blink1073
    blink1073 committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    950876b View commit details
    Browse the repository at this point in the history

  3. add a guard on the test_unix_socket_in_use test

    @blink1073
    blink1073 committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    ad66cb9 View commit details
    Browse the repository at this point in the history