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

[Merged by Bors] - remove nightly from CI/bors #5333

Closed
wants to merge 1 commit into from

Conversation

mockersf
Copy link
Member

Objective

  • After a few recent failures, nightly in CI seems too costly to keep

Solution

  • remove from CI/bors

@cart
Copy link
Member

cart commented Jul 16, 2022

goodnight nightly 💤

@cart
Copy link
Member

cart commented Jul 16, 2022

bors r+

bors bot pushed a commit that referenced this pull request Jul 16, 2022
# Objective

- After a few recent failures, nightly in CI seems too costly to keep

## Solution

- remove from CI/bors
@bors bors bot changed the title remove nightly from CI/bors [Merged by Bors] - remove nightly from CI/bors Jul 16, 2022
@bors bors bot closed this Jul 16, 2022
inodentry pushed a commit to IyesGames/bevy that referenced this pull request Aug 8, 2022
# Objective

- After a few recent failures, nightly in CI seems too costly to keep

## Solution

- remove from CI/bors
james7132 pushed a commit to james7132/bevy that referenced this pull request Oct 28, 2022
# Objective

- After a few recent failures, nightly in CI seems too costly to keep

## Solution

- remove from CI/bors
ItsDoot pushed a commit to ItsDoot/bevy that referenced this pull request Feb 1, 2023
# Objective

- After a few recent failures, nightly in CI seems too costly to keep

## Solution

- remove from CI/bors
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.

None yet

2 participants