Release 0.25.0

[SeanTAllen]

It's time for our scheduled release.

Before we release this, #2865 is missing documentation from its "How we teach it" that needs to be merged before releasing. Once that is in, we are good to go.

We also need release notes for #2865. I think those release notes should address the 1/0 question and direct the user to an overview of what was added and where in the tutorial to go and learn more.

The only breaking change is from #2707.

[SeanTAllen]

Need release notes for:

@mfelsche

• something that encompases all your arthimatic changes
• [RFC 58] Add partial arithmetic for integer types #2865
• Rename mod and related operators to rem #2888

@Theodus

• Improved CHAMP map #2894

@dipinhora

• Add ability to get iso array from an iso string. #2889
• buffered performance improvements and bug fix #2890

@slfritchie

• Use RLIMIT_STACK's current limit for Pthreads stack size if it is sane #2852

[SeanTAllen]

Waiting on release notes for

#2582 from @slfritchie and #2894 from @Theodus.

[SeanTAllen]

My plan is to bless b28ca7c in the morning.

[SeanTAllen]

Waiting on release notes for

#2582 from @slfritchie

[SeanTAllen]

Release packaging scripts got broken. Waiting on #2902 to pass CI and be merged before proceeding. Thank @dipinhora for fixing.

[SeanTAllen]

Blessing 7f091d4

[SeanTAllen]

all external systems are reporting green

[SeanTAllen]

release underway after a minor hiccup where i needed to resolve a merge conflict on the release branch.

[SeanTAllen]

Homebrew PR opened:

Homebrew/homebrew-core#32958

[SeanTAllen]

@stefantalpalaru @kamilchm release underway

[SeanTAllen]

There are problems with the debian and ubuntu releases

[stefantalpalaru]

Gentoo package updated.

[SeanTAllen]

Thanks @stefantalpalaru!

[SeanTAllen]

Everything is up and running again. Mostly human error on the debian and ubuntu release problems. After runnning into the merge commit, I didn't push the release tag soon enough and the release process couldn't find the release. Dur.

[SeanTAllen]

Appimage is in bintray

[SeanTAllen]

Windows release is in bintray

[SeanTAllen]

Fedora COPR is done

[SeanTAllen]

0.25.0 is available via Dockerhub

[SeanTAllen]

@plietar Hey Paul, Playground didn't update to 0.25.0, its still at 0.24.4 for some reason. When I try to ssh in and update manually it looks like the update command is hanging. Can you take a look?

[SeanTAllen]

@plietar update, it eventually finished. but the "sean had to update manually" is a little weird.

[SeanTAllen]

All packages are in place except for homebrew. Waiting on it to be merged.

[SeanTAllen]

Release notes PR opened: ponylang/ponylang-website#347

[SeanTAllen]

Homebrew released

[SeanTAllen]

All done. Thanks folks!