From 41132bd5e315d14a8cc0004e09c10e560799863d Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Sat, 16 May 2026 16:58:02 +0200 Subject: [PATCH 1/3] Extend CI to 29.0 --- .github/workflows/ci.yml | 7 ++++--- README.md | 2 +- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c7ed725f..5812a79d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -20,6 +20,7 @@ jobs: strategy: matrix: otp: + - "29.0" - "28.5" - "28.0" - "27.3" @@ -48,7 +49,7 @@ jobs: examples: name: Test examples runs-on: ubuntu-latest - container: erlang:28.5 + container: erlang:29.0 steps: - name: Checkout code uses: actions/checkout@v6 @@ -58,7 +59,7 @@ jobs: parallel-examples: name: Test examples in parallel runs-on: ubuntu-latest - container: erlang:28.5 + container: erlang:29.0 steps: - name: Checkout code uses: actions/checkout@v6 @@ -68,7 +69,7 @@ jobs: coverage: name: Code coverage runs-on: ubuntu-latest - container: erlang:28.5 + container: erlang:29.0 steps: - name: Checkout code uses: actions/checkout@v6 diff --git a/README.md b/README.md index 222ef793..e5f70659 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%2028.5-blue.svg?style=flat-square +[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2029.0-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 6fcd4b3bdf97dbe0b2f0edc3952d1c8e3e6da49d Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Sat, 16 May 2026 17:04:17 +0200 Subject: [PATCH 2/3] Add public_key to applications to include in Dialyzer's PLT --- Makefile | 4 ++-- rebar.config | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index c9346ab8..d06e6ccd 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -# Copyright 2010-2023 Manolis Papadakis , +# Copyright 2010-2026 Manolis Papadakis , # Eirini Arvaniti , # and Kostis Sagonas # @@ -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 parsetools runtime_tools + dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto public_key syntax_tools mnesia tools parsetools runtime_tools check_escripts: ./scripts/check_escripts.sh make_doc diff --git a/rebar.config b/rebar.config index b8c7c9a5..65fc22ce 100644 --- a/rebar.config +++ b/rebar.config @@ -1,6 +1,6 @@ %%% -*- coding: utf-8; erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright 2010-2025 Manolis Papadakis , +%%% Copyright 2010-2026 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, tools, runtime_tools, parsetools]}]}. + {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, public_key, syntax_tools, tools, runtime_tools, parsetools]}]}. {project_plugins, [covertool]}. {cover_export_enabled, true}. From 8e3f23a7ce4d5438151fdae0eddbda16166d6151 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Sat, 16 May 2026 17:08:00 +0200 Subject: [PATCH 3/3] Add asn1 to applications to include in Dialyzer's PLT --- Makefile | 2 +- rebar.config | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index d06e6ccd..add2edf0 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 public_key syntax_tools mnesia tools parsetools runtime_tools + dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto public_key asn1 syntax_tools mnesia tools parsetools runtime_tools check_escripts: ./scripts/check_escripts.sh make_doc diff --git a/rebar.config b/rebar.config index 65fc22ce..51a893e3 100644 --- a/rebar.config +++ b/rebar.config @@ -58,7 +58,7 @@ {post_hooks, []}. {dialyzer, [{warnings, [unmatched_returns, unknown]}, - {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, public_key, syntax_tools, tools, runtime_tools, parsetools]}]}. + {plt_extra_apps, [erts, kernel, stdlib, compiler, crypto, public_key, asn1, syntax_tools, tools, runtime_tools, parsetools]}]}. {project_plugins, [covertool]}. {cover_export_enabled, true}.