From 2c384ad59cf3ec9f69ff240cdf5a57813ceaebe6 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 25 Mar 2025 11:41:23 +0100 Subject: [PATCH 1/4] Attempt to support Erlang/OTP 27.x on the CI --- .github/workflows/ci.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a6788d1b..de04d77d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -20,7 +20,9 @@ jobs: strategy: matrix: otp: - - "26.2" + - "27.3" + - "27.0" + - "26.3" - "26.0" - "25.3" - "25.0" @@ -44,7 +46,7 @@ jobs: examples: name: Test examples runs-on: ubuntu-latest - container: erlang:26.2 + container: erlang:27.3 steps: - name: Checkout code uses: actions/checkout@v4 @@ -54,7 +56,7 @@ jobs: parallel-examples: name: Test examples in parallel runs-on: ubuntu-latest - container: erlang:26.2 + container: erlang:27.3 steps: - name: Checkout code uses: actions/checkout@v4 @@ -64,7 +66,7 @@ jobs: coverage: name: Code coverage runs-on: ubuntu-latest - container: erlang:26.2 + container: erlang:27.3 steps: - name: Checkout code uses: actions/checkout@v4 From d75d6f72776f14a38fa2074f08639273ee298115 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 25 Mar 2025 11:45:29 +0100 Subject: [PATCH 2/4] 26.3 does not exist; revert to 26.2 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index de04d77d..daa2055c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,7 +22,7 @@ jobs: otp: - "27.3" - "27.0" - - "26.3" + - "26.2" - "26.0" - "25.3" - "25.0" From c528a968c5c900cc4108e9d42a78fa338b629adc Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 25 Mar 2025 11:46:34 +0100 Subject: [PATCH 3/4] Update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a55b2eb2..68fe9b3b 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%2026.2-blue.svg?style=flat-square +[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2027.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 edb8d922fd043edd94ab5f046a01af4300e7b775 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 25 Mar 2025 11:58:03 +0100 Subject: [PATCH 4/4] Add parsetools to dialyzer PLT apps --- Makefile | 2 +- rebar.config | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 267f44e4..c9346ab8 100644 --- a/Makefile +++ b/Makefile @@ -49,7 +49,7 @@ dialyzer: .plt/proper_plt compile dialyzer --plt $< -Wunmatched_returns ebin .plt/proper_plt: .plt - dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto syntax_tools mnesia tools runtime_tools + dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto syntax_tools mnesia tools parsetools runtime_tools check_escripts: ./scripts/check_escripts.sh make_doc diff --git a/rebar.config b/rebar.config index 1a03244e..b8c7c9a5 100644 --- a/rebar.config +++ b/rebar.config @@ -1,6 +1,6 @@ %%% -*- coding: utf-8; erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright 2010-2024 Manolis Papadakis , +%%% Copyright 2010-2025 Manolis Papadakis , %%% Eirini Arvaniti , %%% and Kostis Sagonas %%% @@ -58,7 +58,7 @@ {post_hooks, []}. {dialyzer, [{warnings, [unmatched_returns, unknown]}, - {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, syntax_tools]}]}. + {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, syntax_tools, tools, runtime_tools, parsetools]}]}. {project_plugins, [covertool]}. {cover_export_enabled, true}.