Skip to content

Add catboost2-sys as flaky#667

Merged
bors merged 1 commit into
rust-lang:masterfrom
CAD97:patch-1
Oct 29, 2022
Merged

Add catboost2-sys as flaky#667
bors merged 1 commit into
rust-lang:masterfrom
CAD97:patch-1

Conversation

@CAD97

@CAD97 CAD97 commented Aug 13, 2022

Copy link
Copy Markdown
Contributor

build failed in rust-lang/rust#99447 (comment); build requires rustfmt.

I'm not sure if this is how best to note this, but I'm doing my part to try to help minimize spurious regressions.

@Mark-Simulacrum

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Oct 12, 2022

Copy link
Copy Markdown
Contributor

📌 Commit 23a53f9 has been approved by Mark-Simulacrum

It is now in the queue for this repository.

bors added a commit that referenced this pull request Oct 12, 2022
Add catboost2-sys as flaky

[build failed](https://crater-reports.s3.amazonaws.com/pr-99447/try%23ff47dd48ed0d02534055e0033cf766ce528f8ebc/reg/catboost2-sys-0.1.1%2Bcatboost.1.0.5/log.txt) in rust-lang/rust#99447 (comment); build requires rustfmt.

I'm not sure if this is how best to note this, but I'm doing my part to try to help minimize spurious regressions.
@bors

bors commented Oct 12, 2022

Copy link
Copy Markdown
Contributor

⌛ Testing commit 23a53f9 with merge 0a26b58...

@bors

bors commented Oct 12, 2022

Copy link
Copy Markdown
Contributor

💔 Test failed - checks-actions

bors added a commit that referenced this pull request Oct 29, 2022
Add more exceptions to the list

I would also love #667 to be merged, but this probably has to happen after this PR as this PR fixes clippy.
@Mark-Simulacrum

Copy link
Copy Markdown
Member

@bors retry

@bors

bors commented Oct 29, 2022

Copy link
Copy Markdown
Contributor

⌛ Testing commit 23a53f9 with merge 2f1d1de...

@bors

bors commented Oct 29, 2022

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: Mark-Simulacrum
Pushing 2f1d1de to master...

@bors bors merged commit 2f1d1de into rust-lang:master Oct 29, 2022
@CAD97 CAD97 deleted the patch-1 branch May 1, 2023 22:11
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