Skip to content

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

Merged
Nliver merged 1 commit into
stoneatom:stonedb-8.0-devfrom
chenshengjiang:issue#1800
May 19, 2023
Merged

fix: github workflow exit with error.(#1800)#1801
Nliver merged 1 commit into
stoneatom:stonedb-8.0-devfrom
chenshengjiang:issue#1800

Conversation

@chenshengjiang
Copy link
Copy Markdown
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
Copy Markdown
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
Copy link
Copy Markdown
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

Labels

PR-bug bug for pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants