Skip to content

Add publication check for PRs#2541

Merged
devinrsmith merged 1 commit intodeephaven:mainfrom
devinrsmith:publish-local-ci
Jun 15, 2022
Merged

Add publication check for PRs#2541
devinrsmith merged 1 commit intodeephaven:mainfrom
devinrsmith:publish-local-ci

Conversation

@devinrsmith
Copy link
Copy Markdown
Member

Fixes #2484

@devinrsmith devinrsmith merged commit 7166a1a into deephaven:main Jun 15, 2022
@devinrsmith devinrsmith deleted the publish-local-ci branch June 15, 2022 14:27
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 15, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add publication check for PRs

3 participants