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

fix: runner startup crash #15

Merged
merged 12 commits into from
Nov 30, 2023
Merged

fix: runner startup crash #15

merged 12 commits into from
Nov 30, 2023

Commits on Nov 30, 2023

  1. fix: runner startup crash

    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    e774836 View commit details
    Browse the repository at this point in the history

  2. fix: typings

    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0b2845e View commit details
    Browse the repository at this point in the history

  3. style: apply automated linter fixes

    @megalinter-bot
    megalinter-bot committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    c5a5b48 View commit details
    Browse the repository at this point in the history

  4. fix: change initialization of PipelineManager to cached_properties

    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8852fc3 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' of https://github.com/Safe-DS/Runner into python-… 

    …server-startup
    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    49fcf48 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into python-server-startup

    @lars-reimann
    lars-reimann authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    87927dc View commit details
    Browse the repository at this point in the history

  7. test: successful startup of runner process

    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    e429102 View commit details
    Browse the repository at this point in the history

  8. misc: change message queue thread startup to happen only when needed

    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    715f8c1 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'python-server-startup' of https://github.com/Safe-DS/Ru… 

    …nner into python-server-startup
    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8658831 View commit details
    Browse the repository at this point in the history

  10. fix: linter warnings

    @WinPlay02
    WinPlay02 committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    e0ecb88 View commit details
    Browse the repository at this point in the history

  11. style: apply automated linter fixes

    @megalinter-bot
    megalinter-bot committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    da31c10 View commit details
    Browse the repository at this point in the history

  12. revert: changes to test_websocket_mock.py

    @lars-reimann
    lars-reimann committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    cd184da View commit details
    Browse the repository at this point in the history