Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / deephaven/streamlit-deephaven issues and pull requests

#19 - Publish process should create a Release in GitHub to trigger publishing

Issue - State: open - Opened by mofojed 4 months ago
Labels: enhancement, triage

#18 - fix: clear to_delete

Pull Request - State: closed - Opened by jnumainville 4 months ago

#17 - Version bump

Pull Request - State: closed - Opened by jnumainville 4 months ago

#16 - Intermittent failure to add items to server

Issue - State: open - Opened by jnumainville 4 months ago - 4 comments
Labels: bug, triage

#15 - ci: Add github action

Pull Request - State: closed - Opened by jnumainville 4 months ago

#14 - fix: Streamlit fixes

Pull Request - State: closed - Opened by jnumainville 4 months ago - 1 comment

#13 - Create workflow to publish when a new release is created

Issue - State: closed - Opened by mofojed 4 months ago
Labels: enhancement

#12 - bug: Remove dh_args

Pull Request - State: closed - Opened by jnumainville 5 months ago

#11 - deephaven-server 0.34 removed dh_args

Issue - State: closed - Opened by niloc132 5 months ago
Labels: bug

#10 - Specifying object_id= for display_dh() results in widgets that do not update

Issue - State: closed - Opened by niloc132 5 months ago - 1 comment
Labels: bug

#9 - Past streamlit script runs remain in the query scope

Issue - State: closed - Opened by niloc132 5 months ago - 1 comment
Labels: bug

#8 - `start_server` is not thread safe

Issue - State: closed - Opened by niloc132 5 months ago
Labels: bug

#7 - DEV_MODE doesn't allow edits to the source file while running

Issue - State: closed - Opened by niloc132 5 months ago - 1 comment
Labels: bug

#6 - feat: Pydeephaven support and general widgets

Pull Request - State: closed - Opened by jnumainville 8 months ago - 6 comments

#5 - Support remotely connected Deephaven

Issue - State: closed - Opened by mofojed 9 months ago
Labels: enhancement

#4 - Add support for other types of widgets

Issue - State: closed - Opened by mofojed 9 months ago
Labels: enhancement

#3 - adding custom url token

Pull Request - State: closed - Opened by jnumainville over 1 year ago
Labels: enhancement

#2 - Allow specifying the base URL for the widget

Issue - State: closed - Opened by mofojed over 1 year ago
Labels: enhancement

#1 - Deephaven contexts

Pull Request - State: closed - Opened by mofojed over 1 year ago