Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Jul 9, 2025

release: Bump boot compiler for release to 9.10.2

Also bumps the cabal-install used during the release process to
3.14.2.0.



Update platforms for release jobs

* Drop deb9, ubuntu18 and centos7 jobs which are all EOL
* Add ubuntu24_04
* Build a very old alpine bindist (3.12) and a new one (3.20)
* Only build 3_20 bindist for alpine i386.

The list of release platforms after this commit is

Linux

* x86_64
  - deb10
  - deb11
  - deb12
  - fedora33
  - fedora36
  - fedora38
  - rocky8
  - ubuntu20_04
  - ubuntu22_04
  - ubuntu24_04
  - alpine3_12
  - alpine3_20
* i386
  - deb10
  - alpine3_20
* aarch64
  - deb10
  - deb11
  - deb12
  - alpine3_18

Darwin
* x86_64
* aarch64

Windows
* x86_64

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

This is an automatic backport of pull request #11032 done by [Mergify](https://mergify.com).

Also bumps the cabal-install used during the release process to
3.14.2.0.

(cherry picked from commit e727299)
* Drop deb9, ubuntu18 and centos7 jobs which are all EOL
* Add ubuntu24_04
* Build a very old alpine bindist (3.12) and a new one (3.20)
* Only build 3_20 bindist for alpine i386.

The list of release platforms after this commit is

Linux

* x86_64
  - deb10
  - deb11
  - deb12
  - fedora33
  - fedora36
  - fedora38
  - rocky8
  - ubuntu20_04
  - ubuntu22_04
  - ubuntu24_04
  - alpine3_12
  - alpine3_20
* i386
  - deb10
  - alpine3_20
* aarch64
  - deb10
  - deb11
  - deb12
  - alpine3_18

Darwin
* x86_64
* aarch64

Windows
* x86_64

(cherry picked from commit 976e0f9)
@geekosaur geekosaur added the merge me Tell Mergify Bot to merge label Jul 9, 2025
mergify bot added a commit that referenced this pull request Jul 9, 2025
@mergify mergify bot merged commit 4f3d80c into 3.16 Jul 9, 2025
58 checks passed
@mergify mergify bot deleted the mergify/bp/3.16/pr-11032 branch July 9, 2025 16:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants