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

ci: Disable incremental for dev profile #8738

Merged
merged 1 commit into from
Nov 10, 2022

Conversation

Xuanwo
Copy link
Member

@Xuanwo Xuanwo commented Nov 10, 2022

Signed-off-by: Xuanwo github@xuanwo.io

I hereby agree to the terms of the CLA available at: https://databend.rs/dev/policies/cla/

Summary

ci: Disable incremental for dev profile

We will revert this change after rust-lang/rust#104164 merged.

Signed-off-by: Xuanwo <github@xuanwo.io>
@vercel
Copy link

vercel bot commented Nov 10, 2022

The latest updates on your projects. Learn more about Vercel for Git ↗︎

1 Ignored Deployment
Name Status Preview Updated
databend ⬜️ Ignored (Inspect) Nov 10, 2022 at 0:16AM (UTC)

@mergify mergify bot added the pr-build this PR changes build/testing/ci steps label Nov 10, 2022
@Xuanwo
Copy link
Member Author

Xuanwo commented Nov 10, 2022

Let's merge.

@Xuanwo Xuanwo merged commit 79d79f3 into databendlabs:main Nov 10, 2022
@Xuanwo Xuanwo deleted the disable-incremental branch November 10, 2022 12:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-build this PR changes build/testing/ci steps
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant