From e21768259c62e189cc66343c20d6bdae60ef3dd4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 6 Dec 2024 22:04:22 +0100 Subject: [PATCH 1/2] prepare release --- Changelog.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index 58cec4fe1..0ef9dbfef 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,6 +1,11 @@ # Changelog -## Unreleased +## [1.7.1] - 2024-12-06 + +Compatible with +- Coq 8.18 with Coq-Elpi 2.0.0 +- Coq 8.19 with Coq-Elpi 2.0.1 +- Coq 8.20 with Coq-Elpi 2.2.x and 2.3.x ### General - **Speedup** `HB.instance` does not try to infer classes that inherit from From b479a03e237430c317af85b504c4f4e5f9bcd831 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 6 Dec 2024 22:16:53 +0100 Subject: [PATCH 2/2] Update main.yml --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index fbed28a55..7a059530f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -20,6 +20,7 @@ jobs: coq_version: - '8.18' - '8.19' + - '8.20' steps: - uses: actions/checkout@v2 - uses: coq-community/docker-coq-action@v1