Test also with 25.3 (#306)

.github/workflows/ci.yml

@@ -20,7 +20,7 @@ jobs:
     strategy:
       matrix:
         otp:
-          - "25.2"
+          - "25.3"
           - "25.0"
           - "24.3"
           - "24.0"
@@ -44,7 +44,7 @@ jobs:
   examples:
     name: Test examples
     runs-on: ubuntu-latest
-    container: erlang:25.2
+    container: erlang:25.3
     steps:
       - name: Checkout code
         uses: actions/checkout@v3
@@ -54,7 +54,7 @@ jobs:
   parallel-examples:
     name: Test examples in parallel
     runs-on: ubuntu-latest
-    container: erlang:25.2
+    container: erlang:25.3
     steps:
       - name: Checkout code
         uses: actions/checkout@v3
@@ -64,7 +64,7 @@ jobs:
   coverage:
     name: Code coverage
     runs-on: ubuntu-latest
-    container: erlang:25.2
+    container: erlang:25.3
     steps:
       - name: Checkout code
         uses: actions/checkout@v3

README.md

@@ -195,7 +195,7 @@ incompatibilities between the two tools by now.
 <!-- Badges (alphabetically) -->
 [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.0%20to%2025.2-blue.svg?style=flat-square
+[erlang versions badge]: https://img.shields.io/badge/erlang-21.0%20to%2025.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