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

release-1.8: set VERSION to 1.8.3 #47556

Merged
merged 1 commit into from
Nov 14, 2022
Merged

release-1.8: set VERSION to 1.8.3 #47556

merged 1 commit into from
Nov 14, 2022

Conversation

KristofferC
Copy link
Member

No description provided.

@KristofferC KristofferC added the release Release management and versioning. label Nov 14, 2022
@KristofferC KristofferC requested a review from ararslan November 14, 2022 08:23
@DilumAluthge
Copy link
Member

We probably want to first merge #47495, and then rebase this PR.

Copy link
Member

@ararslan ararslan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🆒

@DilumAluthge
Copy link
Member

@KristofferC @ararslan You can ignore the pending (yellow) buildbot/tester_freebsd64 commit status here. We have turned off the tester_freebsd64 Buildbot. (The package_freebsd64 Buildbot is still online.) The buildbot/tester_freebsd64 commit status will no longer show up once we have merged #47562.

Copy link
Member

@DilumAluthge DilumAluthge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

From the CI perspective, LGTM.

@KristofferC KristofferC merged commit 0434deb into release-1.8 Nov 14, 2022
@KristofferC KristofferC deleted the kc/release-1.8.3 branch November 14, 2022 20:14
@EwoutH
Copy link

EwoutH commented Nov 15, 2022

Thanks for this release! How long does it normally take for binaries to be available on https://julialang.org/downloads/ ?

@KristofferC
Copy link
Member Author

Up to a few days

@EwoutH
Copy link

EwoutH commented Nov 15, 2022

Thanks, will keep an eye on it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release Release management and versioning.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants