From 7e0a9f1b7188e54482d5662de4977209ff742586 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 3 Mar 2026 12:14:20 +0100 Subject: [PATCH 1/3] Add representative versions of Erlang/OTP 28 to CI --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4584eec7..50c77b18 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -20,6 +20,8 @@ jobs: strategy: matrix: otp: + - "28.3" + - "28.0" - "27.3" - "27.0" - "26.2" From d619e236e6391470da07e5f486b8bd532035e018 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 3 Mar 2026 12:21:32 +0100 Subject: [PATCH 2/3] Update README and use 28.3 in some CI runs --- .github/workflows/ci.yml | 6 +++--- README.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 50c77b18..7275611d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -48,7 +48,7 @@ jobs: examples: name: Test examples runs-on: ubuntu-latest - container: erlang:27.3 + container: erlang:28.3 steps: - name: Checkout code uses: actions/checkout@v6 @@ -58,7 +58,7 @@ jobs: parallel-examples: name: Test examples in parallel runs-on: ubuntu-latest - container: erlang:27.3 + container: erlang:28.3 steps: - name: Checkout code uses: actions/checkout@v6 @@ -68,7 +68,7 @@ jobs: coverage: name: Code coverage runs-on: ubuntu-latest - container: erlang:27.3 + container: erlang:28.3 steps: - name: Checkout code uses: actions/checkout@v6 diff --git a/README.md b/README.md index 68fe9b3b..91dcf3fb 100644 --- a/README.md +++ b/README.md @@ -195,7 +195,7 @@ incompatibilities between the two tools by now. [codecov badge]: https://codecov.io/gh/proper-testing/proper/branch/master/graph/badge.svg [commit badge]: https://img.shields.io/github/last-commit/proper-testing/proper.svg?style=flat-square -[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2027.3-blue.svg?style=flat-square +[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2028.3-blue.svg?style=flat-square [hex pm badge]: https://img.shields.io/hexpm/v/proper.svg?style=flat [license badge]: https://img.shields.io/github/license/proper-testing/proper.svg?style=flat-square [release badge]: https://img.shields.io/github/release/proper-testing/proper.svg?style=flat-square From 245a730ccaf8672e1f043bedf198558674903044 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 3 Mar 2026 12:22:28 +0100 Subject: [PATCH 3/3] Update copyright year --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 91dcf3fb..599f4681 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ You can reach PropEr's developers in the following ways: We welcome user contributions and feedback (comments, suggestions, feature requests, bug reports, patches, etc.). -Copyright 2010-2025 by Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas. +Copyright 2010-2026 by Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas. This program is distributed under the [GPL](http://www.gnu.org/licenses/gpl.html), version 3 or later. Please see the [COPYING][license] file for details.