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

chore: Make cran-* branch much more short-lived #759

Draft
wants to merge 27 commits into
base: main
Choose a base branch
from
Draft

Conversation

krlmlr
Copy link
Contributor

@krlmlr krlmlr commented Feb 18, 2024

No description provided.

Copy link
Contributor

aviator-app bot commented Feb 18, 2024

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This pull request is currently open (not queued).

How to merge

To merge this PR, comment /aviator merge or add the mergequeue label.


See the real-time status of this PR on the Aviator webapp.
Use the Aviator Chrome Extension to see the status of your PR within GitHub.

@krlmlr krlmlr changed the title Make cran-* branch much more short-lived chore: Make cran-* branch much more short-lived Feb 18, 2024
@aviator-app aviator-app bot added the blocked label Feb 18, 2024
Copy link
Contributor

aviator-app bot commented Feb 18, 2024

This pull request failed to merge: some CI status(es) failed. Remove the blocked label to re-queue.

Failed CI(s): Smoke test: stock R

@krlmlr
Copy link
Contributor Author

krlmlr commented Nov 16, 2024

New attempt in #794, with a rationale.

@krlmlr krlmlr closed this Nov 16, 2024
@krlmlr krlmlr reopened this Nov 16, 2024
Copy link
Contributor

aviator-app bot commented Nov 16, 2024

This pull request failed to merge: PR has a blocked label, remove to re-queue. After you have resolved the problem, you should remove the blocked pull request label from this PR and then try to re-queue the PR. Note that the pull request will be automatically re-queued if it has the mergequeue label.

@krlmlr krlmlr marked this pull request as draft November 16, 2024 19:29
@krlmlr
Copy link
Contributor Author

krlmlr commented Nov 16, 2024

Want to pick up the good bits from here.

Copy link
Contributor

aviator-app bot commented Nov 16, 2024

This pull request can't be queued because it's currently a draft.

@aviator-app aviator-app bot removed the mergequeue label Nov 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

1 participant