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.

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

Temporarily disable semver checks. #1485

Merged
merged 1 commit into from
Nov 5, 2024
Merged

Conversation

dmkozh
Copy link
Contributor

@dmkozh dmkozh commented Nov 5, 2024

What

Disable semver checks temporarily.

Why

The check is broken due to arbitrary crate update (rust-fuzz/arbitrary#203).

Known limitations

N/A

@dmkozh dmkozh requested a review from a team as a code owner November 5, 2024 00:06
@dmkozh dmkozh added the skip-semver-checks Skips the semver check CI action. Don't use unless the semver check itself is broken. label Nov 5, 2024
@dmkozh dmkozh closed this Nov 5, 2024
auto-merge was automatically disabled November 5, 2024 00:29

Pull request was closed

@dmkozh dmkozh reopened this Nov 5, 2024
@dmkozh dmkozh enabled auto-merge November 5, 2024 00:30
@dmkozh dmkozh added this pull request to the merge queue Nov 5, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 5, 2024
@dmkozh dmkozh added this pull request to the merge queue Nov 5, 2024
@dmkozh dmkozh changed the title Allow skipping semver checks. Temporarily disable semver checks. Nov 5, 2024
@dmkozh dmkozh removed the skip-semver-checks Skips the semver check CI action. Don't use unless the semver check itself is broken. label Nov 5, 2024
@dmkozh dmkozh removed this pull request from the merge queue due to a manual request Nov 5, 2024
@dmkozh dmkozh enabled auto-merge November 5, 2024 01:08
The check is broken due to `arbitrary` crate update (rust-fuzz/arbitrary#203).
@dmkozh dmkozh added this pull request to the merge queue Nov 5, 2024
Merged via the queue into stellar:main with commit b0220c0 Nov 5, 2024
11 of 12 checks passed
@dmkozh dmkozh deleted the disable_semver branch November 5, 2024 17:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants