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: github workflow exit with error.(#1800) #1801

Merged
merged 1 commit into from
May 19, 2023
Merged

fix: github workflow exit with error.(#1800) #1801

merged 1 commit into from
May 19, 2023

Conversation

chenshengjiang
Copy link
Collaborator

Summary about this PR

Issue Number: close #1800

Tests Check List

  • Unit test
  • Integration test
  • Manual test (add detailed scripts or steps below)
  • No code

Changelog

  • New Feature
  • Bug Fix
  • Performance Improvement
  • Build/Testing/CI/CD
  • Documentation
  • Not for changelog (changelog entry is not required)

Documentation

  • Affects user behaviors
  • Contains syntax changes
  • Contains variable changes
  • Contains experimental features

@mergify
Copy link
Contributor

mergify bot commented May 19, 2023

Thanks for the contribution!
I have applied any labels matching special text in your PR Changelog.

Please review the labels and make any necessary changes.

@mergify mergify bot added the PR-bug bug for pull request label May 19, 2023
@Nliver Nliver self-requested a review May 19, 2023 04:15
Nliver
Nliver approved these changes May 19, 2023
View reviewed changes
Copy link
Collaborator

@Nliver Nliver left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Nliver Nliver assigned davidshiz and chenshengjiang and unassigned davidshiz May 19, 2023
@Nliver Nliver requested a review from davidshiz May 19, 2023 05:49
@Nliver Nliver merged commit 01df1bd into stoneatom:stonedb-8.0-dev May 19, 2023
@chenshengjiang chenshengjiang deleted the issue#1800 branch July 3, 2023 07:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@davidshiz davidshiz davidshiz approved these changes

@Nliver Nliver Nliver approved these changes

Assignees

@chenshengjiang chenshengjiang

Labels
PR-bug bug for pull request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@chenshengjiang @Nliver @davidshiz