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

Bump cabal version numbers and bounds to 3.10 for release #8799

Merged
merged 2 commits into from
Feb 23, 2023

Conversation

Mikolaj
Copy link
Member

@Mikolaj Mikolaj commented Feb 23, 2023

Mostly git grep and looking up old similar closed PRs for ideas for grep regexps.

Bumps in .github/workflows/validate.yml (2 in total) need to wait for Hackage release, because apprently these are for cabal used to compile the in-place cabal. At least I hope so.

One big PR that is still needed it to refresh all bootstrap/*.json files from 3.9.0.0 to 3.10.1.0 (edit: once again after release to Hackage). I wonder if we should drop linux-8.6.5 and linux-8.8.4 on the occasion (or leave old versions). Edit: I did.

@Mikolaj Mikolaj force-pushed the version-bumps-for-3.10 branch from b957e46 to 44a53dd Compare February 23, 2023 15:06
@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Feb 23, 2023
@Mikolaj Mikolaj added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Feb 23, 2023
@Mikolaj
Copy link
Member Author

Mikolaj commented Feb 23, 2023

@mergify refresh

@mergify
Copy link
Contributor

mergify bot commented Feb 23, 2023

refresh

✅ Pull request refreshed

@Mikolaj
Copy link
Member Author

Mikolaj commented Feb 23, 2023

@mergify requeue

@mergify
Copy link
Contributor

mergify bot commented Feb 23, 2023

requeue

❌ This pull request head commit has not been previously disembarked from queue.

@Mikolaj
Copy link
Member Author

Mikolaj commented Feb 23, 2023

@mergify enqueue

@mergify
Copy link
Contributor

mergify bot commented Feb 23, 2023

enqueue

❌ Sorry but I didn't understand the command. Please consult the commands documentation 📚.

@Mikolaj
Copy link
Member Author

Mikolaj commented Feb 23, 2023

@mergify queue

@mergify
Copy link
Contributor

mergify bot commented Feb 23, 2023

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 7de5460

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
attention: needs-review merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants