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

Merge in changes to release #13976

Merged
merged 6 commits into from
Sep 17, 2020
Merged

Merge in changes to release #13976

merged 6 commits into from
Sep 17, 2020

Commits on Sep 17, 2020

  1. Up release version for new release (#13928) 

    * Up release version

* Update changelog
    @rchiodo
    rchiodo committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    bb4f3f9 View commit details
    Browse the repository at this point in the history

  2. Update changelog

    @rchiodo
    rchiodo committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    9ea6008 View commit details
    Browse the repository at this point in the history

  3. Workaround test issue (#13930) 

    * Try different version of VS code in release

* Change to make it use the actual variable

* Use a real version
    @rchiodo
    rchiodo committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    5ee1209 View commit details
    Browse the repository at this point in the history

  4. More tests failing with gpu error (#13935) 

    * Try different version of VS code in release

* Change to make it use the actual variable

* Use a real version

* Two more version changes
    @rchiodo
    rchiodo committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    e491ffd View commit details
    Browse the repository at this point in the history

  5. Fix kernel and server name missing in certain situations (#13974) 

    * Fix kernel name and server name

* Fixup server name for remote situations

* Add some functional tests

* Add news entry
    @rchiodo
    rchiodo committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    6cdf00a View commit details
    Browse the repository at this point in the history

  6. Delete news file

    @rchiodo
    rchiodo committed Sep 17, 2020
    Configuration menu
    Copy the full SHA
    7a8524e View commit details
    Browse the repository at this point in the history